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

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

Precio
€ 48,99

Pedido desde almacén remoto

Entrega prevista 6 - 14 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Ver todo de John V. Guttag ( Ej. Paperback Book )