Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

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

Name: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Brand: Springer, Berlin
SKU: 01566044
Price: 51.25 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540605898

Final Report

Manfred Broy

Stefan Jähnichen

Language

English

Book Paperback

Libristo code: 01566044

Publishers Springer, Berlin, November 1994

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Softw... Full description

Libristo code: 01566044

125 b

51.25 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Algar Tarch Karolina Francová

Paperback

13.36 €

HISTOIRE NATURELLE DES OISEAUX DE BUFFON ET MARTINET STÉPHANE SCHMIDT

Hardback

424.76 €

Modifications des tissus mous apr?s un traitement orthodontique Pradeep Raghav

Paperback

48.64 €

Das große Vorschulbuch für Melina, ab 5 Jahre, Schwungübungen, Buchstaben und Zahlen schreiben lernen, Malen nach Zahlen und Wortsuchrätsel für Vorsch Lena Rakete

Paperback

10.24 €

I Love My Mom (Thai English Bilingual Children's Book for Kids) Kidkiddos Books

Hardback

26.73 €

Diamantové malování Divoká příroda

binding.

6.72 €

Řád života aneb 50 let psychoterapeutem Jan Poněšický

Hardback

12.96 €

Étude expérimentale sur un onduleur photovolta?que sans transformateur connecté au réseau Maruthupandi Perumal

Paperback

70.65 €

Puzzle 1000 Barcelona Park Güell 6000-0768

Jigsaw puzzle

18.38 €

Power Supply Budgie Audio

Audio vinyl

31.45 €

Jardin de Paroles au Schéol suivi de Purges au Vitriol Philippe Lefebvre

Paperback

27.73 €

L'INDUSTRIE DU BIJOU DUGUA

Paperback

26.12 €

Handbuch fur Videojournalisten Ulla Niemann

Paperback

21.30 €

Freundschaften im Kindes- und Jugendalter Carina Dambacher

Paperback

46.93 €

Europa 1996 Brigitte Ederer

Paperback

27.83 €

Dysarthrie Anne Berndt

Paperback

12.86 €

Firmengründung light! Dagmar Scholz

Paperback

4.91 €

Biblische Liebeslieder Paul Haupt

Paperback

26.63 €

Handel, Kultur und Militär Peter Schmid

Paperback

46.73 €

Bayreuth an einem Tag Michael Schulze

Paperback

6.72 €

Darstellung und Bewertung von wirtschaftswissenschaftlichen Teammanagementmethoden Martin Hofstätter

Paperback

130.76 €

Dokumentarische Romane von F. C. Delius Dóra Molnár

Paperback

49.44 €

Autobiographisches Heinrich Heine

Hardback

23.91 €

Ciel mon moujik! Sylvain Tesson

Paperback

8.23 €

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.