Recomienda este artículo a tus amigos:
Formal Methods in Computer Science - Textbooks in Mathematics 1.º edición
Jiacun Wang
Precio
€ 212,49
Pedido desde almacén remoto
Entrega prevista 9 - 18 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Formal Methods in Computer Science - Textbooks in Mathematics 1.º edición
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 25 de junio de 2019 |
| ISBN13 | 9780367225704 |
| Editores | Taylor & Francis Ltd |
| Páginas | 294 |
| Dimensiones | 566 g |
| Lengua | English |
![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)