Defining the system with TLA+: the application of TLA+ language and tools in software and hardware design(Chinese Edition)

7111678222 / 9787111678229

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 155,71

EUR 16,06 Versand 
Versand von China nach USA
Vom Verkäufer akzeptierte Zahlungsmethoden
  • Banküberweisung
  • PayPal

Anzahl: 3 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe
Möchten Sie mit Ihrer Kreditkarte bezahlen?
  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
Auf AbeBooks.com kaufen

Artikelbeschreibung des Verkäufers

Paperback. Pub Date: 2021-04-01 Pages: 328 Publisher: Machinery Industry Press This book is a summary of the author's research results on distributed concurrent computing systems for more than 25 years.?In this book. the author proposes to use action-based temporal logic (TLA) to establish a mathematical model for the behavior of complex information systems. and then use rigorous mathematical proof and verification methods to verify the correctness of the system's behavior.?To this end. the a.

Bestandsnummer des Verkäufers NV032292

Bibliografische Details

Titel
Defining the system with TLA+: the application of TLA+ language and tools in software and hardware design(Chinese Edition)
Autor
[ MEI ] LAI SI LI LAN BO TE ( Leslie Lamport ) . DONG LU MING . HE ZHI PING YI
Zustand
New
Einband
paperback
ISBN-10
7111678222
ISBN-13
9787111678229

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,06EUR 26,77
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

Bei AbeBooks.com können Sie mit Ihrer Kreditkarte bezahlen.
  • 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

NAN JING SHI JIANG NING QU NING YUAN DIAN ZI SHANG WU ZHONG XIN

JS, China