Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €
phone Kontakt phoneWie einkaufen

Software Verification and Analysis

An Integrated, Hands-On Approach

Sprache EnglischEnglisch
Buch Broschur
Buch Software Verification and Analysis Janusz Laski
Libristo-Code: 01434729
Verlag Springer, Berlin, November 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 129 b
52.69 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Calligraphie 100 alphabets Harris / Buch Hardcover
common.buy 28.39 €
Seis grandes escritores rusos MARIANO FAZIO / Buch Broschur
common.buy 18.69 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Buch Buch
common.buy 25.69 €
300 modèles à dessiner en pas à pas - Perspective / Buch Hardcover
common.buy 21.19 €
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Buch Buch
common.buy 21.89 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Buch Broschur
common.buy 13.49 €
Quellen zur Geschichte der Stadt Wien Anonym / Buch Broschur
common.buy 39.90 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Buch Broschur
common.buy 16.89 €
Viel Glück / Buch Hardcover
common.buy 7.29 €
Berlin Barbara Rusch / Buch Hardcover
common.buy 32.00 €
La déontologie gouvernementale Kerléo / Buch Broschur
common.buy 36.79 €
La curación del paralítico Groß / Buch Broschur
common.buy 4.39 €
My Gold Mine Hans Joachim Höh / Spiel/Spielzeug Spiel
common.buy 14.99 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Buch Broschur
common.buy 34.19 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Buch Broschur
common.buy 12.99 €
Tu entrenador personal Fernando Orpinell / Buch Broschur
common.buy 19.49 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Buch Broschur
common.buy 12.59 €
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Buch Broschur
common.buy 19.09 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Buch Broschur
common.buy 35.99 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

Top
Survival in Auschwitz Primo Levi / Buch Broschur
common.buy 12.69 €
Top Neu
Twisted Pawn (Deluxe Edition) L.J. Shen / Buch Broschur
common.buy 17.19 €
All the Light and Dark Things Nathalie Jackson / Buch Broschur
common.buy 19.19 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Buch Broschur
common.buy 12.29 €
Literary Shrines Theodore F. Wolfe / Buch Broschur
common.buy 21.99 €
Applied Philosophy Brenda Almond / Buch Broschur
common.buy 58.39 €
Divine Order & Alien Passage Arthur Carlo Padoan / Buch Broschur
common.buy 12.09 €
A History Of The Mediaeval Christian Church Vance Randolph / Buch Broschur
common.buy 20.99 €
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Buch Broschur
common.buy 54.99 €
Voices of Color Gail Bauman / Buch Broschur
common.buy 35.09 €
Musical Witness and Holocaust Representation Wlodarski / Buch Broschur
common.buy 49.79 €
Matryoshkas in Therapy MR Roger Day / Buch Broschur
common.buy 9.69 €
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Buch Broschur
common.buy 16.39 €
R. CRUMB: From the Underground to GENESIS R. Crumb / Buch Hardcover
common.buy 72.59 €
31 Months in Japan Lorna Collins / Buch Broschur
common.buy 15.79 €
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Buch Broschur
common.buy 44.79 €
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Buch Broschur
common.buy 41.89 €
Texting Toward Utopia Ben Agger / Buch Broschur
common.buy 65.89 €
User'S Guide to Coenzyme Q10 Martin Zucker / Buch Broschur
common.buy 5.79 €
Basher Five-Two Scott O'Grady / Buch Broschur
common.buy 7.29 €
Dory Fantasmagory Abby Hanlon / Buch Broschur
common.buy 10.49 €
Deadfall Anna Carey / Buch Hardcover
common.buy 14.59 €
Edexcel International GCSE (9-1) Mathematics Practice Book Third Edition Trevor Johnson / Buch Broschur
common.buy 21.89 €
Jesuit Slaveholding in Maryland, 1717-1838 Thomas Murphy / Buch Broschur
common.buy 75.49 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?