Freunden von diesem Artikel berichten:
Formal Methods in Computer Science - Textbooks in Mathematics 1. Ausgabe
Jiacun Wang
Preis
€ 218,99
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
Jiacun Wang
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
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Taschenbuch) [Softcover reprint of the original 1st ed. 1998 edition] (2012)](https://imusic.b-cdn.net/images/item/original/319/9781461375319.jpg?jiacun-wang-2012-timed-petri-nets-theory-and-application-the-international-series-on-discrete-event-dynamic-systems-taschenbuch&class=scaled&v=1531133890)
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Gebundenes Buch) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/706/9780792382706.jpg?jiacun-wang-1998-timed-petri-nets-theory-and-application-the-international-series-on-discrete-event-dynamic-systems-gebundenes-buch&class=scaled&v=1410187751)
Alle Titel von Jiacun Wang ansehen ( u. a. Taschenbuch und Gebundenes Buch )