Larch: Languages and Tools for Formal Specification - Monographs in Computer Science - John V. Guttag - Livros - Springer-Verlag New York Inc. - 9781461276364 - 1 de outubro de 2011
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

John V. Guttag

Preço
₩ 75.700
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 5 - 11 de ago
Adicione à sua lista de desejos do iMusic

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

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1 de outubro de 2011
ISBN13 9781461276364
Editoras Springer-Verlag New York Inc.
Páginas 250
Dimensões 155 × 235 × 14 mm   ·   385 g
Idioma English  

Mostrar tudo

Mais por John V. Guttag