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 Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian 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

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

Customers also purchased

Traité Théorique Et Practique De L'art De Bâtir, Volumes 1-2 Jean Rondelet / Book Hardback
common.buy 12 738 Ft
Variazioni sull'apocalisse Baldacci Alessandro Baldacci / E-book Adobe ePub DRM
common.buy 21 441 Ft
Klimawirksame Kennzahlen fur den Nahen Osten und Sudasien Valentin Crastan / E-book Adobe ePub DRM
common.buy 4 687 Ft
Bahmulle Mignon Kleinbek / E-book Adobe ePub DRM
common.buy 3 874 Ft
La democracia liberal y su época C. B. Macpherson / Book Paperback
common.buy 4 774 Ft
Helmina Von Chezy. Leben Und Kunst in Paris Seit Napoleon I. Bénédicte Savoy / Book Hardback
common.buy 36 098 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

Towards a Deeper Understanding of Consciousness Max Velmans / E-book Adobe ePub DRM
common.buy 20 670 Ft
Brian and Mina's Holiday Hits Kitty Thomas / Audiobook MP3
common.buy 17 264 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 501 Ft
A Nursery Rhyme for Every Night of the Year Allie Esiri / E-book Adobe ePub DRM
common.buy 4 264 Ft
Insight Guides Florida (Travel Guide eBook) Insight Guides / E-book Adobe ePub DRM
common.buy 4 365 Ft
Cyril Squirrel Finds Out About Love Jane Evans / E-book Adobe ePub DRM
common.buy 5 169 Ft
Armored Units of the Russian Civil War Bullock David Bullock / E-book Adobe ePub DRM
common.buy 5 109 Ft
Coming soon
Muslim Women and Sports in the Malay World Wirdati Mohammad Radzi / Book Paperback
common.buy 5 880 Ft
Chasing Pain: The Search for a Neurobiological Mechanism Kenneth L. Casey / E-book Adobe ePub DRM
common.buy 12 853 Ft
Wildfowling Abel Chapman / Book Paperback
common.buy 9 125 Ft
The Temptation Of Wealth: Or The Heir By Primogeniture (1846) Emilie Flygare Carlen / Book Paperback
common.buy 9 506 Ft
Can I Have You?: A BWWM Romance Ja'nese Dixon / Book Paperback
common.buy 5 311 Ft
Ethanol and Xylitol Abdul Ghaffar / Book Paperback
common.buy 12 371 Ft
Coming soon
Berlitz Pocket Guide Naples, Capri & the Amalfi Coast (Travel Guide) Bearlitz / Book Paperback
common.buy 2 488 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?