Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Formal Methods in Computer Science by Jiacun Wang (English) Hardcover Book

Ø 0.0

0 Bewertungen

237,79 €

By Jiacun Wang, William Tepfenhart. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking.

Jetzt bei Ebay:

ISBN-13:

9780367225704
Book Title:

Formal Methods in Computer Science
ISBN:

9780367225704

None:

International Standard : tracked-no signature (7 to 15 business days) 22,22 EUR - Lieferung zwischen 27. June 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Kambodscha , Afghanistan , Armenien , Aserbaidschan , Bangladesch , ... und weitere