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

Name: Korso: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Final Report) - Lecture Notes in Computer Science
Price: 53.99 EUR
Availability: OutOfStock
Author: Manfred Broy

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 3. - 11. aug.

Saņemiet paziņojumus par jauniem Manfred Broy izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1995. gada 8. novembris
ISBN13	9783540605898
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	458
Izmēri	156 × 234 × 23 mm · 648 g
Valoda	Vācu
Redaktors	Broy, Manfred
Redaktors	Jahnichen, Stefan