Formal Methods in Computer Science - Textbooks in Mathematics - Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) - Libros - Taylor & Francis Inc - 9781498775328 - 3 de julio de 2019
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods in Computer Science - Textbooks in Mathematics 1.º edición

Precio
$ 133,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de julio de 2019
ISBN13 9781498775328
Editores Taylor & Francis Inc
Páginas 294
Dimensiones 231 × 156 × 24 mm   ·   470 g
Lengua Inglés  

Mere med samme udgiver