Larch: Languages and Tools for Formal Specification - Monographs in Computer Science - John V. Guttag - Libros - Springer-Verlag New York Inc. - 9781461276364 - 1 de octubre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Larch: Languages and Tools for Formal Specification - Monographs in Computer Science Softcover reprint of the original 1st ed. 1993 edition

Precio
Mex$ 937
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jul. - 11 de ago.
Recibe notificaciones sobre nuevos lanzamientos de John V. Guttag
Añadir a tu lista de deseos de iMusic

Aún no valorado

It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the software is not particularly malleable or easy to maintain. The intended audience is practicing programmers and students in undergraduate or basic graduate courses in software engineering or formal methods.


250 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 1 de octubre de 2011
ISBN13 9781461276364
Editores Springer-Verlag New York Inc.
Páginas 250
Dimensiones 155 × 235 × 14 mm   ·   385 g
Lengua Inglés  

Mas por John V. Guttag

Mostrar todo

Más del mismo editor