Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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: 45.49 EUR
Availability: InStock
Author: Manfred Broy
ISBN: 9783540605898

Final Report

Manfred Broy

Stefan Jähnichen

Sprache

Englisch

Buch Broschur

Libristo-Code: 01566044

Verlag Springer, Berlin, November 1994

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Softw... Vollständige Beschreibung

Libristo-Code: 01566044

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Hardcover

349.89 €

Algar Tarch Karolina Francová

Broschur

10.59 €

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

Hardcover

21.99 €

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

Broschur

42.69 €

Power Supply Budgie Audio

Audio Vinyl

28.29 €

Puzzle 1000 Barcelona Park Güell 6000-0768

Spiel

10.39 €

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

binding.

5.99 €

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

Broschur

10.69 €

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

Broschur

23.69 €

L'INDUSTRIE DU BIJOU DUGUA

Broschur

22.29 €

Handbuch fur Videojournalisten Ulla Niemann

Broschur

27.30 €

Europa 1996 Brigitte Ederer

Broschur

26.08 €

Dysarthrie Anne Berndt

Broschur

13.50 €

Firmengründung light! Dagmar Scholz

Broschur

3.99 €

Biblische Liebeslieder Paul Haupt

Broschur

29.90 €

Handel, Kultur und Militär Peter Schmid

Broschur

49.80 €

Bayreuth an einem Tag Michael Schulze

Broschur

6.99 €

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

Broschur

49.00 €

Autobiographisches Heinrich Heine

Hardcover

26.80 €

Ciel mon moujik! Sylvain Tesson

Broschur

7.59 €

Cánones de arte indio Eva Fernández del Campo

Broschur

14.49 €

El libro de la artritis reumatoide Bonifacio Álvarez Lario

Broschur

19.69 €

Decir casi lo mismo Umberto Eco

Broschur

17.29 €

Tajomná príroda Agnese Baruzzi

Hardcover

10.59 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Autor Manfred Broy, Stefan Jähnichen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 1995

Anzahl der Seiten 458

EAN 9783540605898

ISBN 3540605894

Libristo-Code 01566044

Verlag Springer, Berlin

Gewicht 616

Abmessungen 156 x 234 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert