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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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
19 925 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Innovation collaborative BOUCHEZ / Book Paperback
common.buy 13 031 Ft
Mundwerk Thomas Godoj / Audio Audio CD
common.buy 4 475 Ft
MIRADAS CLAVERO / Book Book
common.buy 8 422 Ft
Ethisches Argumentieren Katharina Klöcker / Book Paperback
common.buy 16 686 Ft
Les derniers jours de la gauche Barbier / Book Paperback
common.buy 8 556 Ft
Das Problem Einer Internationalen Orthographie-Reform (1901) Th Sprater / Book Paperback
common.buy 8 130 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 623 Ft
Česko dětem 2 / Printed items Map
common.buy 1 263 Ft
Top
Ako sa Ela naučila vidieť neviditeľné Zuzana Líšková / Book Hardback
common.buy 2 480 Ft
Die wahre Geschichte von McDonald's Ray Kroc / Book Paperback
common.buy 5 974 Ft
Mirabilia CONRAD ROSET / Book Paperback
common.buy 7 704 Ft
Flux Attwenger / Audio Audio CD
common.buy 8 408 Ft
Tentateur LaCroix-J / Book Paperback
common.buy 10 388 Ft
Gesänge der Liebe Hans-Peter Kolb / Book Hardback
common.buy 9 023 Ft
Mein Mathe-Lernheft - Sachrechnen und Größen Jan Boesten / Book Sheet
common.buy 1 569 Ft
Traumazentrierte Psychotherapie, Studienausgabe Ulrich Sachsse / Book Paperback
common.buy 14 632 Ft
Versuch einer neuen Theorie des menschlichen Vorstellungsvermögens. Teilband 2. Tl.2 Karl L. Reinhold / Book Hardback
common.buy 24 210 Ft
Frost Thomas Bernhard / Book Paperback
common.buy 4 928 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 19 925 Ft
The Angel Children Linda Emmanuel / Book Paperback
common.buy 5 002 Ft
ALABAMA MOON MTI Watt Key / Book Paperback
common.buy 4 151 Ft
Crime Scene Investigation Jacqueline T. (Charleston Southern University Fish / Book Paperback
common.buy 40 262 Ft
New London John J. Ruddy / Book Paperback
common.buy 7 672 Ft
Laws of Love Patricia Cohen / Book Paperback
common.buy 11 267 Ft
Key Words in Islam: Ron Geaves / Book Paperback
common.buy 8 584 Ft
All the Lives We Never Lived Anuradha Roy / E-book Adobe ePub DRM
common.buy 2 698 Ft
Analysis of Educational Challenges in the New South Africa Zandile P. Nkabinde / Book Paperback
common.buy 14 997 Ft
ILLUMINATIONS Mark Wilson / Book Paperback
common.buy 5 692 Ft
How to Do Homework Without Throwing Up Trevor Romain / Book Paperback
common.buy 3 744 Ft
Promise and Peril Will R. Jordan / Book Paperback
common.buy 9 231 Ft
Moonwalking with Einstein Joshua Foer / E-book Adobe ePub DRM
common.buy 5 840 Ft
Way to Do a Thing Is to Do It CARL WELLS / Book Paperback
common.buy 8 116 Ft
KOREAN GRAMMAR CANVAS - WORKBOOK for BEGINNERS 2 Miss Vicky / Book Paperback
common.buy 7 765 Ft
C.O.W.: Creatures of War Thomax Green / Book Paperback
common.buy 4 988 Ft
Alexander the Great W B Godbey / Book Paperback
common.buy 2 772 Ft
Diary of a Softball Girl Amy Ballantyne / Book Paperback
common.buy 5 002 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 285 Ft
Top
Becoming Myself Irvin D. Yalom / Book Paperback
common.buy 6 164 Ft
Twice Bought Robert Michael Ballantyne / Book Paperback
common.buy 7 996 Ft
(Sur)real Melissa Haag / Book Paperback
common.buy 4 447 Ft
King Atterberry Ink Christine Jones / Book Paperback
common.buy 5 354 Ft
Digital Renaissance Joel Waldfogel / Book Paperback
common.buy 8 218 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?