Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science - Manfred Broy - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540605898 - 8 de novembro de 1995
Caso a capa e o título não sejam correspondentes, considere o título como correto

Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science

Manfred Broy

Preço
CA$ 80,02

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 7 - 15 de jul

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science

Containing the final report of the work carried out in the project KORSO ("Korrekte Software"), the papers in this volume are organized into five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies.

458 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de novembro de 1995
ISBN13 9783540605898
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 458
Dimensões 156 × 234 × 23 mm   ·   648 g
Idioma German  
Editor Broy, Manfred
Editor Jahnichen, Stefan
Mostrar tudo

Mais por Manfred Broy

Ver tudo de Manfred Broy ( por exemplo Paperback Book , Hardcover Book e Book )