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: 559 SEK
Availability: OutOfStock
Author: Manfred Broy

Pris

SEK 559

Beställningsvara

Förväntad leverans 5 - 12 jan 2026

Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

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

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

eller

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

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	8 november 1995
ISBN13	9783540605898
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	458
Mått	156 × 234 × 23 mm · 648 g
Språk	Tyska
Redaktör	Broy, Manfred
Redaktör	Jahnichen, Stefan