Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570696
Price: 53.79 EUR
Availability: InStock
Author: Natarajan Shankar
ISBN: 9783540878728

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

Natarajan Shankar

Jim Woodcock

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01570696

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Innovation collaborative BOUCHEZ

Broschur

37.79 €

Mundwerk Thomas Godoj

Audio CD

12.09 €

MIRADAS CLAVERO

Buch

24.49 €

Ethisches Argumentieren Katharina Klöcker

Broschur

48.69 €

Les derniers jours de la gauche Barbier

Broschur

24.79 €

Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater

Broschur

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

Broschur

9.79 €

Česko dětem 2

Karte

3.69 €

Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková

Hardcover

7.59 €

Die wahre Geschichte von McDonald's Ray Kroc

Broschur

18.00 €

Mirabilia CONRAD ROSET

Broschur

22.59 €

Flux Attwenger

Audio CD

22.79 €

Tentateur LaCroix-J

Broschur

28.19 €

Gesänge der Liebe Hans-Peter Kolb

Hardcover

25.90 €

Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten

Blatt

4.19 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Broschur

39.99 €

Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold

Hardcover

70.99 €

Frost Thomas Bernhard

Broschur

14.00 €

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

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

Broschur

53.79 €

The Angel Children Linda Emmanuel

Broschur

13.59 €

ALABAMA MOON MTI Watt Key

Broschur

11.19 €

Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish

Broschur

109.19 €

New London John J. Ruddy

Broschur

20.59 €

Laws of Love Patricia Cohen

Broschur

32.79 €

Key Words in Islam: Ron Geaves

Broschur

23.29 €

All the Lives We Never Lived Anuradha Roy

Adobe ePub DRM

7.89 €

Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde

Broschur

40.49 €

ILLUMINATIONS Mark Wilson

Broschur

15.39 €

How to Do Homework Without Throwing Up Trevor Romain

Broschur

10.09 €

Promise and Peril Will R. Jordan

Broschur

24.99 €

Moonwalking with Einstein Joshua Foer

Adobe ePub DRM

17.19 €

Way to Do a Thing Is to Do It CARL WELLS

Broschur

21.99 €

KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky

Broschur

20.99 €

C.O.W.: Creatures of War Thomax Green

Broschur

13.49 €

Alexander the Great W B Godbey

Broschur

7.49 €

Diary of a Softball Girl Amy Ballantyne

Broschur

13.59 €

Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou

Broschur

8.89 €

Becoming Myself Irvin D. Yalom

Broschur

16.49 €

After the Rain 3 Jun Mayuzuki

Broschur

14.99 €

Twice Bought Robert Michael Ballantyne

Broschur

21.59 €

(Sur)real Melissa Haag

Broschur

11.89 €

King Atterberry Ink Christine Jones

Broschur

14.49 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Verified Software: Theories, Tools, Experiments

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

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

Häufig gesucht

Categories

Authors

Publishers

Verified Software: Theories, Tools, Experiments

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

Kunden kauften auch

Informationen zum Buch

Kategorie

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

Das könnte Sie auch interessieren

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