Recomienda este artículo a tus amigos:
Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science Manfred Broy
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 8 de noviembre de 1995 |
| ISBN13 | 9783540605898 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 458 |
| Dimensiones | 156 × 234 × 23 mm · 648 g |
| Lengua | Alemán |
| Editor | Broy, Manfred |
| Editor | Jahnichen, Stefan |
Mas por Manfred Broy
Mostrar todoMere med samme udgiver
Ver todo de Manfred Broy ( Ej. Paperback Book , Hardcover Book y Book )