Formal Methods in Computer Science - Textbooks in Mathematics - Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) - Libros - Taylor & Francis Ltd - 9780367225704 - 25 de junio 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
$ 251,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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 25 de junio de 2019
ISBN13 9780367225704
Editores Taylor & Francis Ltd
Páginas 294
Dimensiones 150 × 220 × 20 mm   ·   566 g
Lengua Inglés  

Mere med samme udgiver