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 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 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Verified Software. Theories, Tools, and Experiments Ruzica Piskac
Libristo code: 20392651
Publishers Springer Nature Switzerland AG, November 2018
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa... Full description
? points 132 b
54.00 €
105.62  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Mon grand livre-jeu des pirates / Book Hardback
common.buy 20.99 € 41.06 лв
PoesÃ-as / Book Hardback
common.buy 30.50 € 59.66 лв
Proektirowanie i razrabotka prototipa äkologicheski chistogo ochistitelq wozduha Mukesh Kumar / Book Paperback
common.buy 18.73 € 36.64 лв
Analisi fisionomica del bosco di Hornos de Cal. Abel Hernandez - Muñoz / Book Paperback
common.buy 41.22 € 80.62 лв
Posca akrylový popisovač PC-3ML, 0,9 - 1,3 mm, třpytivě modrá (tenký kulatý hrot) / Book binding.
common.buy 3.08 € 6.01 лв
Der Geistliche Führer, oder Unterricht ueber das Gebet, die Betrachtung und Beschauung, ueber die heimsuchungen Gottes und die außerordentlichen Gnade Magnus Jocham / Book Hardback
common.buy 36.09 € 70.58 лв
Maregelvollzugsrecht Heinz Kammeier / E-book Adobe ePub DRM
common.buy 185.00 € 361.82 лв
Eve Curie Monteil Claudine Monteil / E-book Adobe ePub DRM
common.buy 18.90 € 36.96 лв
Zaubereien mit Luftballons Linda Perina / Book Paperback
common.buy 8.21 € 16.06 лв
Les conséquences sanitaires des eaux de crue sur la vie des habitants des bidonvilles Bulli Dibba / Book Paperback
common.buy 41.22 € 80.62 лв
Region und Unitarische Struktur in Grossbritannien / Regionalism and Unitary Structure in Great Britain P. Malanczuk / Book Paperback
common.buy 70.59 € 138.06 лв
El don de perdonar Clara Govela / Book Paperback
common.buy 7.59 € 14.85 лв
Soporte vital básico. SANT0208 - Transporte sanitario Carmona Romera / Book Paperback
common.buy 40.40 € 79.01 лв
Sitges Yeye. Recull gràfic 1960-1979 Sierra / Book Hardback
common.buy 217.21 € 424.83 лв
El cervell huma PABLO BARRECHEGUREN / Book Paperback
common.buy 26.74 € 52.30 лв
20 sur 20 en anglais. 2e édition (avec fichiers audio) Nantet / Book Paperback
common.buy 15.91 € 31.12 лв
Bibliographie De L'Histoire De Beligique (1902) Henri Pirenne / Book Hardback
common.buy 44.58 € 87.18 лв
Dirección de empresas : bases en un entorno abierto y dinámico José Cabanelas Omil / Book Paperback
common.buy 52.41 € 102.51 лв
Kitchen Banana Yoshimoto / Book Paperback
common.buy 17.50 € 34.23 лв
Weihnachtsbluten in Sitte und Sage Wilhelm Mannhardt / Book Paperback
common.buy 16.99 € 33.23 лв
Pracownia instalacji elektrycznych Kwalifikacja E.8 Technik elektryk elektryk Stanislaw Karasiewicz / Book Paperback
common.buy 21.92 € 42.87 лв
Biographie Des K.K. Feldmarschall Josef Graf Radetzky Von Hradetz Alois Ritter von Haymerle / Book Hardback
common.buy 26.70 € 52.23 лв
Thiergeschichten: Erzählungen Und Schilderungen Aus Dem Leben Der Thiere Karl Oppel / Book Paperback
common.buy 31.38 € 61.37 лв
Une analyse de la biopolitique apr?s la révolution moléculaire Juan David Betancourt Ramirez / Book Paperback
common.buy 57.96 € 113.36 лв

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 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 Ruzica Piskac, Philipp Rümmer
Language English
Binding Book - Paperback
Date of issue 2018
Number of pages 345
EAN 9783030035914
Libristo code 20392651
Publishers Springer Nature Switzerland AG
Weight 557
Dimensions 155 x 235 x 20

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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 > Systems analysis & design
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

Crayola (R) Insect Colors / Book Paperback
common.buy 9.29 € 18.17 лв
Bad Governance and Corruption Richard Rose / Book Paperback
common.buy 50.15 € 98.09 лв
Cats Dogs & Unicorns Oh My: Primary School Story Book Journals Are Fun / Book Paperback
common.buy 7.54 € 14.76 лв
Soccer Mastery Chest Dugger / Book Hardback
common.buy 34.29 € 67.07 лв
John Keats John Barnard / Book Paperback
common.buy 51.39 € 100.50 лв
Ion Chromatography James S. Fritz / Book Hardback
common.buy 198.17 € 387.58 лв
The Reluctant Dragon Kenneth Grahame / Book Paperback
common.buy 8.67 € 16.97 лв
Human Aura WILLIAM WA ATKINSON / Book Hardback
common.buy 28.49 € 55.72 лв
The Wisdom of Solomon 1917 W. O. E. Oesterley / Book Hardback
common.buy 35.18 € 68.80 лв
Mental Dynamics: Or Groundwork Of A Professional Education (1847) Joseph Henry Green / Book Paperback
common.buy 21.10 € 41.28 лв
A Song Of Labor, And Other Poems (1873) Alexander Anderson / Book Paperback
common.buy 26.70 € 52.23 лв
Death of All Life on Earth Don McComber / Book Paperback
common.buy 15.24 € 29.81 лв
British Civic Society at the End of Empire Anna Bocking-Welch / Book Paperback
common.buy 39.17 € 76.60 лв
les Cles de la PNL ROMAIN MARY / Book Paperback
common.buy 18.43 € 36.04 лв
Ideology in U.S. Foreign Relations Christopher Nichols / Book Paperback
common.buy 46.56 € 91.06 лв
Understanding Forensic DNA Suzanne Bell / Book Paperback
common.buy 13.81 € 27.00 лв
Coming soon
Best of Classic Driver J Philip Rathgen / Book Hardback
common.buy 77.47 € 151.51 лв
Affordable
Mama's Sleeping Scarf Chimamanda Ngozi Adichie / Book Paperback
common.buy 2.61 € 5.11 лв
International Primary Computing Teacher’s Guide: Stage 2 Dr Tracy Gardner / Book Paperback
common.buy 74.57 € 145.85 лв
Women Who Rock, Pop, and Hip-Hop! / Game/Toy Game
common.buy 30.97 € 60.56 лв
Matrix (1-2) David Miller / Book Paperback
common.buy 13.50 € 26.40 лв
Top
Girl Moments Coco Wyo / Book Paperback
common.buy 7.80 € 15.25 лв
Spencer Roane Mariam T. Tennoe / Book Paperback
common.buy 127.11 € 248.61 лв
Ruined by the Marquess: A Forced Marriage Historical Romance Paige Parker / Book Paperback
common.buy 8.47 € 16.56 лв

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?