Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Verified Software: Theories, Tools, Experiments

Name: Verified Software: Theories, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570696
Price: 51.78 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.78 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Lei de Seguros Obrigatorios Iranianos Karimi Amirmohammad Karimi

Paperback

35.76 €

Allgemeine Haftpflichtversicherung Joachim Kuwert

Paperback

53.20 €

Frost Thomas Bernhard

Paperback

12.66 €

Weibliche Autonomie: Handeln im demokratischen Rechtsstaat Vinicius Da Silva

Paperback

57.96 €

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

Hardback

68.09 €

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Paperback

37.89 €

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

Sheet

4.04 €

Gesänge der Liebe Hans-Peter Kolb

Hardback

23.30 €

Ethisches Argumentieren Katharina Klöcker

Paperback

46.81 €

Some Girls do Jennifer Dugan

Paperback

13.57 €

Česko dětem 2

Map

3.23 €

Flux Attwenger

Audio CD

22.08 €

Perspektive Gerhard Tschauder

Hardback

119.38 €

Mirabilia CONRAD ROSET

Paperback

21.78 €

Landschaften Der Erinnerung Elke Mehnert

Paperback

105.19 €

Mundwerk Thomas Godoj

Audio CD

11.75 €

Tentateur LaCroix-J

Paperback

26.75 €

Die wahre Geschichte von McDonald's Ray Kroc

Paperback

17.62 €

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

Hardback

6.98 €

Quantum: el abuelo y la nieta Capetillo Blanco

Paperback

22.49 €

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

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

Paperback

21.27 €

Subtile Signale in Texten Jens Korbus

Paperback

12.66 €

Survival - In den Krallen des Leguans Stefani Kampmann

Hardback

10.53 €

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.