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€

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
E-book Tests and Proofs Virgile Prevosto
Libristo code: 44990640
Publishers Springer, July 2023
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Full description
? points 154 b
63.70 €
124.59  лв
In stock Immediate digital delivery

Customers also purchased

Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Book Hardback
common.buy 99.33 € 194.27 лв
GROZE PASS (with illustrations) Emily Brontë / E-book Adobe ePub DRM
common.buy 1.13 € 2.22 лв
La democracia liberal y su época C. B. Macpherson / Book Paperback
common.buy 14.27 € 27.90 лв
Bahmulle Mignon Kleinbek / E-book Adobe ePub DRM
common.buy 11.53 € 22.54 лв
Gran diccionario enciclopedico de imagenes y simbolos de la Biblia Leland Ryken / E-book Adobe ePub DRM
common.buy 41.57 € 81.30 лв
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-book Adobe ePub DRM
common.buy 14.11 € 27.60 лв
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-book Adobe ePub DRM
common.buy 65.00 € 127.12 лв
Kontinuumsschwingungen Friedrich U. Mathiak / E-book Adobe ePub DRM
common.buy 94.06 € 183.96 лв
Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Book Hardback
common.buy 33.55 € 65.63 лв

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

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 Tests and Proofs
Author Virgile Prevosto, Cristina Seceleanu
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2023
EAN 9783031388286
Libristo code 44990640
Publishers Springer

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Mathematical theory of computation
Philosophy & Religion > Philosophy
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

Prosperity Bundle #3 Robert Collier / E-book Adobe ePub DRM
common.buy 2.37 € 4.64 лв
Brian and Mina's Holiday Hits Kitty Thomas / Audiobook MP3
common.buy 52.27 € 102.24 лв
Addressing the Weaknesses of Multi-Criteria Decision-Making Methods using Python Erpolat Tasabat Semra Erpolat Tasabat / E-book Adobe ePub DRM
common.buy 25.75 € 50.36 лв
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-book Adobe ePub DRM
common.buy 12.72 € 24.87 лв
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-book Adobe ePub DRM
common.buy 13.23 € 25.88 лв
Lift Tom Miller / E-book Adobe ePub DRM
common.buy 9.15 € 17.89 лв
Cyril Squirrel Finds Out About Love Jane Evans / E-book Adobe ePub DRM
common.buy 15.56 € 30.43 лв
Sencha Touch in Action Anthony De Moss / E-book Adobe ePub DRM
common.buy 41.16 € 80.50 лв
Coming soon
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Book Paperback
common.buy 17.32 € 33.87 лв
Armored Units of the Russian Civil War Bullock David Bullock / E-book Adobe ePub DRM
common.buy 15.40 € 30.13 лв
Towards a Deeper Understanding of Consciousness Max Velmans / E-book Adobe ePub DRM
common.buy 65.15 € 127.42 лв
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-book Adobe ePub DRM
common.buy 41.67 € 81.51 лв
Black History for Every Day of the Year David Olusoga / Book Hardback
common.buy 28.18 € 55.11 лв
Wildfowling Abel Chapman / Book Paperback
common.buy 24.04 € 47.02 лв
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Book Paperback
common.buy 25.02 € 48.94 лв
Can I Have You?: A BWWM Romance Ja'nese Dixon / Book Paperback
common.buy 13.90 € 27.20 лв
Harvest K. Makansi / E-book Adobe ePub DRM
common.buy 4.34 € 8.49 лв
Ethanol and Xylitol Abdul Ghaffar / Book Paperback
common.buy 34.02 € 66.54 лв

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?