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.99 €
phone Kontakt phoneWie einkaufen

Verified Software: Theories, Tools, Experiments

Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Verified Software: Theories, Tools, Experiments Natarajan Shankar
Libristo-Code: 01570696
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2008
This volume contains the proceedings of the second working conference on Verified Software: Theories... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Gesänge der Liebe Hans-Peter Kolb / Buch Hardcover
common.buy 25.90 €
Ethisches Argumentieren Katharina Klöcker / Buch Broschur
common.buy 48.59 €
Some Girls do Jennifer Dugan / Buch Broschur
common.buy 16.59 €
Demnächst
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Buch Blatt
common.buy 3.99 €
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Buch Broschur
common.buy 39.99 €
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Buch Hardcover
common.buy 70.99 €
Frost Thomas Bernhard / Buch Broschur
common.buy 14.00 €
Allgemeine Haftpflichtversicherung Joachim Kuwert / Buch Broschur
common.buy 55.29 €
Quantum: el abuelo y la nieta Capetillo Blanco / Buch Broschur
common.buy 20.09 €
MIRADAS CLAVERO / Buch Buch
common.buy 21.19 €
Innovation collaborative BOUCHEZ / Buch Broschur
common.buy 37.69 €
Les derniers jours de la gauche Barbier / Buch Broschur
common.buy 24.69 €
Survival - In den Krallen des Leguans Stefani Kampmann / Buch Hardcover
common.buy 12.00 €
Subtile Signale in Texten Jens Korbus / Buch Broschur
common.buy 13.90 €
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Buch Broschur
common.buy 21.99 €
Feuilles de travail pour la thérapie cognitivo-comportementale pour la dépression: Manuel de CBT pour faire face ? l'humeur de contrôle de l'anxiété, Jacquelyn Lefebvre / Buch Broschur
common.buy 9.79 €
Česko dětem 2 / Drucksachen Karte
common.buy 3.69 €
Top
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Buch Hardcover
common.buy 7.59 €
Die wahre Geschichte von McDonald's Ray Kroc / Buch Broschur
common.buy 18.00 €
Tentateur LaCroix-J / Buch Broschur
common.buy 27.69 €
Mundwerk Thomas Godoj / Audio Audio CD
common.buy 12.09 €
Mirabilia CONRAD ROSET / Buch Broschur
common.buy 22.69 €
Perspektive Gerhard Tschauder / Buch Hardcover
common.buy 123.99 €
Flux Attwenger / Audio Audio CD
common.buy 22.79 €

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. §The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

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 Verified Software: Theories, Tools, Experiments
Autor Natarajan Shankar, Jim Woodcock
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2008
Anzahl der Seiten 263
EAN 9783540878728
ISBN 3540878726
Libristo-Code 01570696
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 427
Abmessungen 155 x 235 x 16

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Buch Broschur
common.buy 53.79 €
The Angel Children Linda Emmanuel / Buch Broschur
common.buy 13.59 €
Spoiler Alert! Steven Espinoza / Buch Broschur
common.buy 32.29 €
Top
Becoming Myself Irvin D. Yalom / Buch Broschur
common.buy 16.49 €
Alexander the Great W B Godbey / Buch Broschur
common.buy 7.49 €
Unfold Your Mat, Unfold Yourself Anne M Samit / Buch Broschur
common.buy 17.39 €
In Art: Chairs Deirdre K Fuller / Buch Broschur
common.buy 11.59 €
C.O.W.: Creatures of War Thomax Green / Buch Broschur
common.buy 13.49 €
Twice Bought Robert Michael Ballantyne / Buch Broschur
common.buy 21.59 €
Way to Do a Thing Is to Do It CARL WELLS / Buch Broschur
common.buy 21.99 €
Promise and Peril Will R. Jordan / Buch Broschur
common.buy 27.69 €
How to Do Homework Without Throwing Up Trevor Romain / Buch Broschur
common.buy 10.09 €
Key Words in Islam: Ron Geaves / Buch Broschur
common.buy 23.19 €
Laws of Love Patricia Cohen / Buch Broschur
common.buy 32.79 €
ILLUMINATIONS Mark Wilson / Buch Broschur
common.buy 15.39 €
(Sur)real Melissa Haag / Buch Broschur
common.buy 11.89 €
Digital Renaissance Joel Waldfogel / Buch Broschur
common.buy 22.29 €
King Atterberry Ink Christine Jones / Buch Broschur
common.buy 14.49 €
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Buch Broschur
common.buy 8.89 €
Diary of a Softball Girl Amy Ballantyne / Buch Broschur
common.buy 13.59 €
Moonwalking with Einstein Joshua Foer / E-Book Adobe ePub DRM
common.buy 17.09 €
All the Lives We Never Lived Anuradha Roy / E-Book Adobe ePub DRM
common.buy 7.99 €
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Buch Broschur
common.buy 109.19 €
Technical Trading Mastery, Second Edition Chris Vermeulen / Buch Broschur
common.buy 16.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?