Introduction to Computer Science in the 21st Century Colleges practical planning materials Formal Methods(Chinese Edition)

Sprache: Chinesisch

Verlag: 清华大学出版社, 2015

7302411611 / 9787302411611

Anbieter: liu xing, Nanjing, JS, Chinaliu xing

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 7. April 2009

Softcover

Zustand: Neu

EUR 66,73

EUR 16,03 Versand 
Versand von China nach USA

Anzahl: 5 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Language:Chinese.Paperback. Pub Date: 2015-12-01 Publisher: Tsinghua University Press formal methods means that there is a strict mathematical foundations of software and systems development methodology. software and system support statute. design. verification and other activities and evolution. With the growing demand for software trustworthiness. importance and attention formal methods of increasing. The book has 12 chapters. Chapter 1 Overview of formal methods. formal methods Chapter 2 d.

Bestandsnummer des Verkäufers CX018980

Titel
Introduction to Computer Science in the 21st Century Colleges practical planning materials Formal Methods(Chinese Edition)
Autor
ZHANG GUANG QUAN ZHU
Verlag
清华大学出版社
Erscheinungsjahr
2015
Zustand
New
Einband
paperback
Sprache
Chinesisch
ISBN-10
7302411611
ISBN-13
9787302411611

liu xing

Nanjing, JS, China

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 7. April 2009

Versandkosten von China nach USA

Artikel16 bis 30 Werktage8 bis 16 Werktage
Erster ArtikelEUR 16,03EUR 26,72
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal

Shopbeschreibung

Thank you for visiting My bookstore! We are an online bookstore, and Is the China's largest online book sales. Generally our books are from China, with reasonable price and decent printing quality. We are always trying our best to satisfy customer's needs!

Spezialisierung

Chemistry, Mathematics, Computer, Physics, Environment, Social Sciences

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

ANJINGYU LIMITED

No.99 King Fuk ST, RM D07, 8/F KAI TAK FTY BLDG
San Po Kong, Hongkong