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
Mex$ 2.348
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jul. - 17 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)
Añadir a tu lista de deseos de iMusic

Aún no valorado

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  

Más del mismo editor