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

[ MEI ] LAI SI LI LAN BO TE ( Leslie Lamport ) . DONG LU MING . HE ZHI PING YI

ISBN 10: 7111678222 ISBN 13: 9787111678229

Zustand: Neu Softcover

F�r sp�ter vormerken

Verkauft von liu xing, Nanjing, JS, China

AbeBooks-Verk�ufer seit 7. April 2009

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: Neu

Preis: EUR 147,87 W�hrung umrechnen

EUR 15,25 f�r den Versand von China nach USA Versandziele, Kosten & Dauer

Vom Verk�ufer akzeptierte Zahlungsmethoden

PayPal
Bank�berweisung

Anzahl: 3 verf�gbar

In den Warenkorb legen

Sie m�chten mit Ihrer Kreditkarte bezahlen?

Auf AbeBooks.com kaufen

F�r sp�ter vormerken

Beschreibung

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

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Defining the system with TLA+: the application of TLA+ language and tools in software and hardware design(Chinese Edition)
ISBN-10: 7111678222
ISBN-13: 9787111678229
Einband: paperback
Zustand: New

Anbieterinformationen

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!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

NAN JING SHI JIANG NING QU NING YUAN DIAN ZI SHANG WU ZHONG XIN
Room 264, Oujiang Shopping Center, No. 1 Dongxin South Road, Dongshan Street, Jiangning District, NanJing, Nanjing, JS, 211100, China

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days. Please Note:We don't sell any international Edition to you...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Most orders are shipped within 24 hours. We will delivery these items to you by AIRMAIL, EUB, EMS, TNT etc.

Versandkosten von China nach USA

Versandkosten von China nach USA
Bestellmenge	16 bis 30�Werktage	8 bis 16�Werktage
Erster Artikel	EUR 15.25	EUR 25.42

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

PayPal
Bank�berweisung

Bei AbeBooks.com k�nnen Sie mit Ihrer Kreditkarte bezahlen.

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Defining the system with TLA+: the application of TLA+...