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

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

Preço
R$ 278,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 11 - 17 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Manfred Broy

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

Ainda não avaliado

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 Alemão  
Editor Broy, Manfred
Editor Jahnichen, Stefan

Mais por Manfred Broy

Mostrar tudo

Mais da mesma editora

Ver tudo de Manfred Broy