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

Conte aos seus amigos sobre este item:

Manfred Broy
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$ 82,67

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 11 - 19 de dez

Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Manfred Broy

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