Free delivery for orders over 69.99€

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 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Verified Software: Theories, Tools, Experiments

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

132 b

54.48 €

106.56 лв

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

37.81 € 73.94 лв

Allgemeine Haftpflichtversicherung Joachim Kuwert

Paperback

55.99 € 109.50 лв

Frost Thomas Bernhard

Paperback

13.46 € 26.33 лв

Weibliche Autonomie: Handeln im demokratischen Rechtsstaat Vinicius Da Silva

Paperback

61.32 € 119.93 лв

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

Hardback

71.63 € 140.09 лв

Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse

Paperback

39.98 € 78.20 лв

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

Sheet

4.29 € 8.40 лв

Gesänge der Liebe Hans-Peter Kolb

Hardback

24.60 € 48.11 лв

Ethisches Argumentieren Katharina Klöcker

Paperback

49.05 € 95.93 лв

Some Girls do Jennifer Dugan

Paperback

14.50 € 28.36 лв

Česko dětem 2

Map

3.41 € 6.68 лв

Flux Attwenger

Audio CD

23.10 € 45.17 лв

Perspektive Gerhard Tschauder

Hardback

125.60 € 245.65 лв

Mirabilia CONRAD ROSET

Paperback

22.94 € 44.87 лв

Landschaften Der Erinnerung Elke Mehnert

Paperback

110.68 € 216.48 лв

Mundwerk Thomas Godoj

Audio CD

12.27 € 24.00 лв

Tentateur LaCroix-J

Paperback

26.72 € 52.26 лв

Die wahre Geschichte von McDonald's Ray Kroc

Paperback

18.59 € 36.36 лв

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

Hardback

7.51 € 14.68 лв

Quantum: el abuelo y la nieta Capetillo Blanco

Paperback

23.30 € 45.58 лв

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.42 € 18.43 лв

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

Paperback

21.28 € 41.63 лв

Subtile Signale in Texten Jens Korbus

Paperback

13.31 € 26.02 лв

Survival - In den Krallen des Leguans Stefani Kampmann

Hardback

11.23 € 21.97 лв

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.