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 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 146 b
21 901 Ft
In stock Immediate digital delivery

Customers also purchased

Couché ! / Book Paperback
common.buy 8 724 Ft
GROZE PASS (with illustrations) Emily Brontë / E-book Adobe ePub DRM
common.buy 387 Ft
Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Book Hardback
common.buy 37 090 Ft
La democracia liberal y su época C. B. Macpherson / Book Paperback
common.buy 4 863 Ft
Bahmulle Mignon Kleinbek / E-book Adobe ePub DRM
common.buy 3 982 Ft
Gran diccionario enciclopedico de imagenes y simbolos de la Biblia Leland Ryken / E-book Adobe ePub DRM
common.buy 14 333 Ft
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-book Adobe ePub DRM
common.buy 4 845 Ft
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-book Adobe ePub DRM
common.buy 22 217 Ft
Kontinuumsschwingungen Friedrich U. Mathiak / E-book Adobe ePub DRM
common.buy 32 134 Ft
Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Book Hardback
common.buy 13 423 Ft
Dieta Chetogenica e Digiuno Intermittente Franco Pelati / Book Paperback
common.buy 10 949 Ft

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

Coming soon
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Book Paperback
common.buy 5 834 Ft
Brian and Mina's Holiday Hits Kitty Thomas / Audiobook MP3
common.buy 17 862 Ft
Addressing the Weaknesses of Multi-Criteria Decision-Making Methods using Python Erpolat Tasabat Semra Erpolat Tasabat / E-book Adobe ePub DRM
common.buy 8 813 Ft
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-book Adobe ePub DRM
common.buy 4 369 Ft
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-book Adobe ePub DRM
common.buy 4 520 Ft
Lift Tom Miller / E-book Adobe ePub DRM
common.buy 3 114 Ft
Cyril Squirrel Finds Out About Love Jane Evans / E-book Adobe ePub DRM
common.buy 5 341 Ft
Sencha Touch in Action Anthony De Moss / E-book Adobe ePub DRM
common.buy 23 354 Ft
Prosperity Bundle #3 Robert Collier / E-book Adobe ePub DRM
common.buy 807 Ft
Armored Units of the Russian Civil War Bullock David Bullock / E-book Adobe ePub DRM
common.buy 5 298 Ft
Towards a Deeper Understanding of Consciousness Max Velmans / E-book Adobe ePub DRM
common.buy 22 425 Ft
Harvest K. Makansi / E-book Adobe ePub DRM
common.buy 1 496 Ft
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-book Adobe ePub DRM
common.buy 14 376 Ft
Wildfowling Abel Chapman / Book Paperback
common.buy 9 636 Ft
Black History for Every Day of the Year David Olusoga / Book Hardback
common.buy 10 206 Ft
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Book Paperback
common.buy 10 007 Ft
Can I Have You?: A BWWM Romance Ja'nese Dixon / Book Paperback
common.buy 5 596 Ft
War Posters James Aulich / Book Paperback
common.buy 13 735 Ft
Ethanol and Xylitol Abdul Ghaffar / Book Paperback
common.buy 12 719 Ft
Armada Book 1: The List MR Aurel Aquino / Book Paperback
common.buy 7 242 Ft
Upgrading the Operating System of the Soul Weiner / Book Paperback
common.buy 7 286 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?