Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science - Manfred Broy - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540605898 - 8 november 1995
Indien omslag en titel niet overeenkomen, is de titel correct

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

Manfred Broy

Prijs
Mex$ 1.140,14

Besteld in een afgelegen magazijn

Verwachte levering 14 - 22 aug.
Voeg toe aan uw iMusic-verlanglijst
Eller

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

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 8 november 1995
ISBN13 9783540605898
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 458
Afmetingen 156 × 234 × 23 mm   ·   648 g
Taal en grammatica Duits  
Uitgever Broy, Manfred
Uitgever Jahnichen, Stefan

Alles tonen

Meer door Manfred Broy