Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verified Software: Theories, Tools, Experiments

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

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

Natarajan Shankar

Jim Woodcock

Language

English

Book Paperback

Libristo code: 01570696

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2008

This volume contains the proceedings of the second working conference on Verified Software: Theories... Full description

Libristo code: 01570696

125 b

51.65 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Quantum: el abuelo y la nieta Capetillo Blanco

Paperback

22.33 €

Allgemeine Haftpflichtversicherung Joachim Kuwert

Paperback

53.06 €

Frost Thomas Bernhard

Paperback

12.63 €

Weibliche Autonomie: Handeln im demokratischen Rechtsstaat Vinicius Da Silva

Paperback

57.82 €

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

Hardback

68.13 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Paperback

37.80 €

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

Sheet

4.03 €

Gesänge der Liebe Hans-Peter Kolb

Hardback

23.24 €

Ethisches Argumentieren Katharina Klöcker

Paperback

46.90 €

Some Girls do Jennifer Dugan

Paperback

13.54 €

MIRADAS CLAVERO

Book

23.75 €

Innovation collaborative BOUCHEZ

Paperback

36.38 €

Les derniers jours de la gauche Barbier

Paperback

23.85 €

Survival - In den Krallen des Leguans Stefani Kampmann

Hardback

10.50 €

Subtile Signale in Texten Jens Korbus

Paperback

12.63 €

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

Paperback

21.22 €

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

Paperback

9.39 €

Česko dětem 2

Map

3.23 €

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

Hardback

6.97 €

Die wahre Geschichte von McDonald's Ray Kroc

Paperback

17.78 €

Tentateur LaCroix-J

Paperback

26.68 €

Mundwerk Thomas Godoj

Audio CD

11.72 €

Landschaften Der Erinnerung Elke Mehnert

Paperback

104.93 €

Mirabilia CONRAD ROSET

Paperback

21.73 €

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.