Vinkkaa tuotetta kavereillesi:
Formal Methods in Computer Science - Textbooks in Mathematics 1. Painos
Jiacun Wang
Hinta
€ 224,99
Tilattu etävarastosta
Arvioitu toimitus pe - ti 6. - 17. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
Löytyy myös muodossa:
Formal Methods in Computer Science - Textbooks in Mathematics 1. Painos
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
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | tiistai 25. kesäkuuta 2019 |
| ISBN13 | 9780367225704 |
| Tuottaja | Taylor & Francis Ltd |
| Sivujen määrä | 294 |
| Mitta | 566 g |
| Kieli | English |
Näytä kaikki
Lisää tuotteita Jiacun Wang
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Paperback Book) [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-paperback-book&class=scaled&v=1531133890)
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Hardcover Book) [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-hardcover-book&class=scaled&v=1410187751)
Katso kaikki joka sisältää Jiacun Wang ( Esim. Paperback Book Ja Hardcover Book )