Formal Methods in Computer Science - Textbooks in Mathematics - Jiacun Wang - Bücher - Taylor & Francis Ltd - 9780367225704 - 25. Juni 2019
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Formal Methods in Computer Science - Textbooks in Mathematics 1. Ausgabe

Jiacun Wang

Preis
Fr. 191,49

Bestellware

Lieferdatum: ca. 9. - 18. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Formal Methods in Computer Science - Textbooks in Mathematics 1. Ausgabe

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.


294 pages, 29 Tables, black and white; 154 Illustrations, black and white

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 25. Juni 2019
ISBN13 9780367225704
Verlag Taylor & Francis Ltd
Seitenanzahl 294
Maße 566 g
Sprache Englisch  

Alle anzeigen

Weitere Titel von Jiacun Wang