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 :-(

Software Verification and Analysis

Name: Software Verification and Analysis
Brand: Springer, Berlin
SKU: 01434729
Price: 49.99 EUR
Availability: InStock
Author: Janusz Laski
ISBN: 9781849968294

An Integrated, Hands-On Approach

Janusz Laski

William Stanley

Sprache

Englisch

Buch Broschur

Libristo-Code: 01434729

Verlag Springer, Berlin, November 2009

This book addresses the most important techniques in improving the correctness of software, includin...

Libristo-Code: 01434729

122 b

49.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Calligraphie 100 alphabets Harris

Hardcover

22.29 €

The Hexaglot Bible: Comprising The Holy Scriptures Of The Old And New Testaments In The Original Tongues, Together With The Septuagint, Th Anonymous

Hardcover

37.09 €

Berlin Barbara Rusch

Hardcover

32.00 €

La déontologie gouvernementale Kerléo

Broschur

28.99 €

Faits d’hiver à Riec-sur-Bélon Le Gall

Broschur

10.49 €

DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC·

Buch

18.89 €

300 modèles à dessiner en pas à pas - Perspective

Hardcover

16.69 €

A cena con l'assassino Alexandra Benedict

Broschur

4.09 €

Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu

Buch

19.39 €

Töframosa - волшебный мох. Все про исландскую магию

Hardcover

87.09 €

La curación del paralítico Groß

Broschur

3.69 €

My Gold Mine Hans Joachim Höh

Spiel

14.99 €

GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI

Broschur

29.79 €

Les inconnus de Versailles les coulisses de la Cour Jacques Levron

Broschur

10.09 €

Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro

Broschur

49.89 €

Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri

Broschur

12.59 €

CONTRA LA CARIDAD DANIEL RAVENTOS

Broschur

35.99 €

de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A

Broschur

15.49 €

Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti

Broschur

9.89 €

Viel Glück

Hardcover

5.99 €

Tu entrenador personal Fernando Orpinell

Broschur

16.89 €

Quellen zur Geschichte der Stadt Wien Anonym

Broschur

39.90 €

Seis grandes escritores rusos MARIANO FAZIO

Broschur

15.89 €

Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami

Broschur

12.69 €

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

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 Software Verification and Analysis

Autor Janusz Laski, William Stanley

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 234

EAN 9781849968294

ISBN 1849968292

Libristo-Code 01434729

Verlag Springer, Berlin

Gewicht 384

Abmessungen 156 x 234 x 13

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Informatik

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