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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Constructing Correct Software

Name: Constructing Correct Software
Brand: Springer, Berlin
SKU: 01435362
Price: 57.99 EUR
Availability: InStock
Author: John Cooke
ISBN: 9781852338206

John Cooke

Sprache

Englisch

Buch Broschur

Libristo-Code: 01435362

Verlag Springer, Berlin, November 2004

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its... Vollständige Beschreibung

Libristo-Code: 01435362

142 b

57.99 € inkl. MwSt.

Externes Lager Wir versenden in 10-16 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die elektrosensible Diagnostik in der Neurologie J. R. Jörg

Broschur

55.29 €

El libro de Nuréa ANTON PARKS

Broschur

19.49 €

UNE MORT TRES DOUCE Simone de Beauvoir

Hardcover

8.09 €

How to Use Psychological Research Tracey Elder

Broschur

30.39 €

Bim Bum Bam Maria Girón

Hardcover

17.39 €

Anti-Foucault Manfred Dahlmann

Broschur

42.00 €

Che musica, papà! Guilherme Karsten

Hardcover

17.89 €

Qui sont les députés français ? Olivier COSTA Buch

Broschur

15.29 €

Neue Beitrage Zur Naturgeschichte Der Cladoceren: Crustacea Cladocera (1863) J. Eduard Schoedler

Broschur

20.00 €

Au Bonheur des Dames Émile Zola

Broschur

11.79 €

Je länger ein Blinder lebt, desto mehr sieht er Hans Carl Artmann

Broschur

15.00 €

Inteligencia Sexual: Manual de Mantenimiento Lorenzo Campins

Broschur

13.90 €

Warum werde ich immer enttäuscht? Wie man durch Selbstreflexion alte Verhaltensmuster auflöst. (Neuauflage) Deno Licina

Broschur

10.99 €

EL VINO Y LA VIÑA TIM UNWIN

Broschur

26.69 €

Traktat L'va Tolstogo "Chto takoe iskusstvo?" i ego znachenie Jeka Vardoshvili

Broschur

27.99 €

Geschaftsmodelle fur AAL-Loesungen entwickeln Veronika Hornung-Prahauser

Broschur

7.90 €

45 Recettes de Repas pour la Reduction des Crampes musculaires JOE CORREA

Broschur

20.09 €

Rapports Sur La Fabrique d'Eaux Minerales Artificielles de M. Bourgeois Aine ""

Broschur

12.59 €

Régimen fiscal de las cooperativas Sofía Arana Landín

Broschur

19.89 €

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). §Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.

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 Constructing Correct Software

Autor John Cooke

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 495

EAN 9781852338206

ISBN 1852338202

Libristo-Code 01435362

Verlag Springer, Berlin

Gewicht 750

Abmessungen 155 x 234 x 24

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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