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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Verified Software. Theories, Tools, and Experiments Andrei Paskevich
Libristo code: 18622645
Publishers Springer International Publishing AG, December 2017
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International... Full description
? points 125 b
51.37 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Saga Dune 1-6. La mayor epopeya de todos los tiempos Frank Herbert / Book Paperback
common.buy 55.80 €
Winterzauber Claudia Setzer / Book Paperback
common.buy 34.68 €
Alle Arten von Karma / Book Paperback
common.buy 17.08 €
Moje pieski. Pokoloruj i naklej Opracowanie zbiorowe / Book Paperback
common.buy 2.40 €
Le Code Secret Priya Hemenway / Book Hardback
common.buy 21.41 €
SLYTHERIN J.K. ROWLING / Book Paperback
common.buy 13.06 €
Top
Pamiętnik z powstania warszawskiego Mirona Białoszewskiego. Wojciechowska Małgorzata / Book Paperback
common.buy 3.11 €
Zeszyt 3 linie z tłem niebieski Praca Zbiorowa / Book Paperback
common.buy 3.21 €
Camino de servidumbre Friedrich A. von Hayek / Book Paperback
common.buy 18.19 €
Top
Prufungstraining DaF Jürgen Weigmann / Book Paperback
common.buy 22.92 €
Paganismo, ?En Tu Cristianismo? Barna / Book Paperback
common.buy 14.67 €
BA MUNCH GERMAN Ulrich Bischoff / Book Hardback
common.buy 16.18 €
Black and White - The Jazz Piano, Bildband und 4 Audio-CDs Peter Bölke / Book Hardback
common.buy 51.68 €
Top Affordable
Asterix - Asterix Gallus Rene Goscinny / Book Hardback
common.buy 10.55 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

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, and Experiments
Author Andrei Paskevich, Thomas Wies
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 211
EAN 9783319723075
ISBN 3319723073
Libristo code 18622645
Publishers Springer International Publishing AG
Weight 454
Dimensions 155 x 235 x 10

Categories

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 > Computer modelling & simulation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Information technology: general issues
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

Living Faiths Buddhism Student Book CONSTANCE / Book Paperback
common.buy 26.13 €
Coming soon
Textures from Nature in Textile Art Marian Jazmik / Book Hardback
common.buy 24.12 €
High-Tech High-Touch Recruiting Barbara Bruno / Book Paperback
common.buy 43.83 €
Yugoslav Fighter Colours 1918-1941. Volume 1 Djordie Nikolic / Book Hardback
common.buy 43.43 €
Top
Nordic Tales Chronicle Books / Book Hardback
common.buy 20.80 €
Top
Microdosing with Amanita Muscaria Baba Masha / Book Paperback
common.buy 15.68 €
Lizards and Snakes of Alabama Craig Guyer / Book Paperback
common.buy 32.07 €
Wilhelm Von Humboldts Linguistical Studies George J Adler / Book Paperback
common.buy 21.11 €
Unlocking Employment Law Chris Turner / E-book Adobe ePub DRM
common.buy 78.32 €
Untranslatable Julia Klatt Singer / Book Paperback
common.buy 12.46 €
Top
My Favorite Thing Is Monsters Emil Ferris / Book Paperback
common.buy 33.88 €
Leaders Eat Last Simon Sinek / Book Hardback
common.buy 22.41 €
Top Hits from TV, Movies & Musicals Instrumental Solos Alfred Publishing / Book Paperback
common.buy 27.34 €
On Kindness Adam Phillips / Book Paperback
common.buy 13.46 €
Top
Becoming a Supple Leopard Kelly Starrett / Book Hardback
common.buy 52.18 €
This Time It's Real Ann Liang / Book Paperback
common.buy 9.64 €
Top
No One Belongs Here More Than You Miranda July / Book Paperback
common.buy 9.64 €
Management 3.0 Jurgen Appelo / Book Paperback
common.buy 43.43 €
Top
Conquest of Gaul Julius Caesar / Book Paperback
common.buy 9.84 €
Gender in STEM Education in the Arab Gulf Countries Martina Dickson / E-book Adobe ePub DRM
common.buy 173.04 €
Definitive Guide to ARM (R) Cortex (R)-M3 and Cortex (R)-M4 Processors Joseph Yiu / Book Paperback
common.buy 59.92 €

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?