Home/Producten/KORSO: Methods, Languages, and Tools for the Construction of Correct…

Beschrijving

Over dit product

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.
The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.

Boekdetails

Serie: Lecture Notes in Computer Science
Ondertitel: Lecture Notes in Computer Science
Formaat: Paperback / softback
Uitgever: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Auteur: Manfred Broy || Stefan Jähnichen, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN-13: 9783540605898
Verschijningsdatum: 1995-11-08
Editie: 1995 ed.
Afmetingen: 155 mm × 235 mm
Land van herkomst: DE

Paperback / softback

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

door Manfred Broy || Stefan Jähnichen

€ 75,10

Op voorraad14 werkdagen

Gratis verzending30 dagen bedenktijd

1

Gratis verzending

vanaf €20

30 dagen retour

zonder gedoe

Veilig betalen via iDEAL of Klarna

iDEAL · Klarna

Waarom je dit mooi vindt

Premium kwaliteit, zorgvuldig geselecteerd
Snelle levering, morgen in huis
Eenvoudig retourneren binnen 30 dagen
Veilig betalen via iDEAL of Klarna

MYBOEKEN

Algemene voorwaarden
Bedrijfsgegevens
Over Myboeken
Keurmerk
Klantenservice
Contact
Privacy
Gids
Volg bestelling

INFORMATIE

Bestellen
Bezorgen
Betalen
Retour
Veelgestelde vragen
Garantie & Klachten
Zakelijke bestellingen
Blogs

CONTACT

Effect 4, 6921 RV Duiven

026-2074646

10:00 – 16:00

[email protected]

0638045945

Nieuwsbrief

Ontvang de beste aanbiedingen en tips

PAYMENT

Bancontact

Direct bank

iDEAL

Klarna

PayPal

SOFORT

VOLG ONS

Strips & Manga Kunst & fotografie Kinderboeken Studie & Wetenschap Levensstijl Overige

Myboeken is dé online boekwinkel voor zorgvuldig geselecteerde boeken. Snelle levering in Nederland & Europa.

Privacy Algemene Voorwaarden

© 2026 MYBOEKEN

Populaire zoekopdrachten

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and the Lord of the Rings

The Hobbit and the Lord of the Rings

9780544445789

Snel naar

Nieuwe releases trending-on-tiktok Cadeau-ideeën

Trending now

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

Kentaro Miura

Mistborn Trilogy Boxed Set: Mistborn, The Well of Ascension, The Hero of Ages

Mistborn Trilogy Boxed Set: Mistborn, The Well of Ascension, The Hero of Ages

Brandon Sanderson

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

J R R Tolkien

Vagabond (VIZBIG Edition), Vol. 2: Enlightenment: Volume 2

Vagabond (VIZBIG Edition), Vol. 2: Enlightenment: Volume 2

Takehiko Inoue

Bestsellers Offerte Aanbiedingen

Categorieën Bestsellers Offerte Aanbiedingen

Aanbevolen

Misschien vind je dit ook leuk

Berserk Deluxe Volume 1

Kentaro Miura

Berserk Deluxe Volume 1

€ 44,10

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Sarah J. Maas

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

€ 72,00

The Hobbit and the Lord of the Rings

J. R. R. Tolkien

The Hobbit and the Lord of the Rings

€ 49,50

Invincible Compendium Volume 1

Robert Kirkman || Cory Walker || Ryan Ottley

Invincible Compendium Volume 1

€ 56,70

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

J R R Tolkien

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

€ 160,20

Vagabond (VIZBIG Edition), Vol. 3: One With Heaven and Earth: Volume 3

Takehiko Inoue

Vagabond (VIZBIG Edition), Vol. 3: One With Heaven and Earth: Volume 3

€ 23,40

Vagabond (VIZBIG Edition), Vol. 7: Volume 7

Takehiko Inoue

Vagabond (VIZBIG Edition), Vol. 7: Volume 7

€ 23,40

The Six of Crows Duology Boxed Set: Six of Crows and Crooked Kingdom

Leigh Bardugo

The Six of Crows Duology Boxed Set: Six of Crows and Crooked Kingdom

€ 36,00

Finale: A Caraval Novel

Stephanie Garber

Finale: A Caraval Novel

€ 18,00

The First Law Trilogy

Joe Abercrombie

The First Law Trilogy

€ 53,10

Serie & gerelateerd

Meer over Lecture

The Last Lecture

Randy Pausch (Carnegie Mellon University) || Jeffrey Zaslow

The Last Lecture

€ 20,70

A Lecture To Young Men On The Preservation Of Health, By A Graduate

Lecture

A Lecture To Young Men On The Preservation Of Health, By A Graduate

€ 26,71

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

Scott S Chandler

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

€ 22,87

Prohibition Bombs V1, January, 1886 to April, 1886: Tracts for the Times (1886)

Lecture Bureau Prohibition Lecture Bureau

Prohibition Bombs V1, January, 1886 to April, 1886: Tracts for the Times (1886)

€ 45,17

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

Carnet Lecture

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

€ 18,00

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

Livres Lecture

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

€ 18,00

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

Cadeau Lecture

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

€ 18,00

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

Cadeau Lecture

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

€ 18,00

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

P'Tite Lecture

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

€ 22,44

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

P'Tite Lecture

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

€ 24,12