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 11.49 €
phone Contact phoneHow to shop

Tests and Proofs

Language EnglishEnglish
Book Paperback
Book Tests and Proofs Marieke Huisman
Libristo code: 46505887
Publishers Springer Nature Switzerland, September 2024
This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP... Full description
? points 349 b
144.04 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.

The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.

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 Marieke Huisman
Language English
Binding Book - Paperback
Date of issue 2024
Number of pages 192
EAN 9783031720437
ISBN 3031720431
Libristo code 46505887
Publishers Springer Nature Switzerland
Weight 300
Dimensions 155 x 235 x 11

Categories

Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
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

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?