Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Verified Software: Theories, Tools, Experiments

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

Language EnglishEnglish
Book Paperback
Book Verified Software: Theories, Tools, Experiments Natarajan Shankar
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
? points 136 b
20 346 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Gesänge der Liebe Hans-Peter Kolb / Book Hardback
common.buy 9 214 Ft
Ethisches Argumentieren Katharina Klöcker / Book Paperback
common.buy 17 020 Ft
Some Girls do Jennifer Dugan / Book Paperback
common.buy 5 769 Ft
Coming soon
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Book Sheet
common.buy 1 484 Ft
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Book Paperback
common.buy 14 941 Ft
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Book Hardback
common.buy 24 721 Ft
Frost Thomas Bernhard / Book Paperback
common.buy 5 032 Ft
Allgemeine Haftpflichtversicherung Joachim Kuwert / Book Paperback
common.buy 20 904 Ft
Quantum: el abuelo y la nieta Capetillo Blanco / Book Paperback
common.buy 7 357 Ft
MIRADAS CLAVERO / Book Book
common.buy 7 792 Ft
Innovation collaborative BOUCHEZ / Book Paperback
common.buy 13 244 Ft
Les derniers jours de la gauche Barbier / Book Paperback
common.buy 8 689 Ft
Survival - In den Krallen des Leguans Stefani Kampmann / Book Hardback
common.buy 3 823 Ft
Subtile Signale in Texten Jens Korbus / Book Paperback
common.buy 5 004 Ft
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Book Paperback
common.buy 8 302 Ft
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 / Book Paperback
common.buy 3 700 Ft
Česko dětem 2 / Printed items Map
common.buy 1 290 Ft
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Book Hardback
common.buy 2 533 Ft
Die wahre Geschichte von McDonald's Ray Kroc / Book Paperback
common.buy 6 100 Ft
Tentateur LaCroix-J / Book Paperback
common.buy 9 682 Ft
Mundwerk Thomas Godoj / Audio Audio CD
common.buy 4 569 Ft
Mirabilia CONRAD ROSET / Book Paperback
common.buy 7 881 Ft
Perspektive Gerhard Tschauder / Book Hardback
common.buy 46 839 Ft
Flux Attwenger / Audio Audio CD
common.buy 8 585 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Verified Software: Theories, Tools, Experiments
Author Natarajan Shankar, Jim Woodcock
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 263
EAN 9783540878728
ISBN 3540878726
Libristo code 01570696
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 427
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Modular Specification and Verification of Object-Oriented Programs Peter Müller / Book Paperback
common.buy 20 346 Ft
The Angel Children Linda Emmanuel / Book Paperback
common.buy 5 108 Ft
Spoiler Alert! Steven Espinoza / Book Paperback
common.buy 11 345 Ft
Top
Becoming Myself Irvin D. Yalom / Book Paperback
common.buy 6 294 Ft
Alexander the Great W B Godbey / Book Paperback
common.buy 2 830 Ft
Unfold Your Mat, Unfold Yourself Anne M Samit / Book Paperback
common.buy 6 591 Ft
In Art: Chairs Deirdre K Fuller / Book Paperback
common.buy 4 404 Ft
C.O.W.: Creatures of War Thomax Green / Book Paperback
common.buy 5 094 Ft
Twice Bought Robert Michael Ballantyne / Book Paperback
common.buy 8 165 Ft
Way to Do a Thing Is to Do It CARL WELLS / Book Paperback
common.buy 8 288 Ft
Promise and Peril Will R. Jordan / Book Paperback
common.buy 10 400 Ft
How to Do Homework Without Throwing Up Trevor Romain / Book Paperback
common.buy 3 823 Ft
Key Words in Islam: Ron Geaves / Book Paperback
common.buy 8 751 Ft
Laws of Love Patricia Cohen / Book Paperback
common.buy 11 506 Ft
ILLUMINATIONS Mark Wilson / Book Paperback
common.buy 5 812 Ft
(Sur)real Melissa Haag / Book Paperback
common.buy 4 541 Ft
Digital Renaissance Joel Waldfogel / Book Paperback
common.buy 8 392 Ft
King Atterberry Ink Christine Jones / Book Paperback
common.buy 5 467 Ft
Gratitude Coloring Book: For Mindfulness & Relaxation - Suitable For Women, Teenagers, Girls - Inspirational Zen Stress Relieving - Non Religio Sammie Lou / Book Paperback
common.buy 3 355 Ft
Diary of a Softball Girl Amy Ballantyne / Book Paperback
common.buy 5 108 Ft
Moonwalking with Einstein Joshua Foer / E-book Adobe ePub DRM
common.buy 5 963 Ft
All the Lives We Never Lived Anuradha Roy / E-book Adobe ePub DRM
common.buy 2 788 Ft
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Book Paperback
common.buy 41 113 Ft
Technical Trading Mastery, Second Edition Chris Vermeulen / Book Paperback
common.buy 6 294 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?