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 990 Ft DPD courier 1 190 Ft GLS point 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 GLS courier 1 690 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

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Tests and Proofs Bernhard K. Aichernig
Libristo code: 10954109
Publishers Springer International Publishing AG, June 2016
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Pro... Full description
? points 136 b
20 046 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

L'Empire Byzantin, Son Evolution Sociale Et Politique. l'Etre Politique GRENIER-P / Book Paperback
common.buy 9 669 Ft
Песнь Сорокопута (Песнь Сорокопута #1) Фрэнсис Кель / Book Hardback
common.buy 7 793 Ft
Ne pas déranger les dragons (broché) - Tome 01 Michelle Robinson / Book Paperback
common.buy 6 098 Ft

This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.§The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.§

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 Bernhard K. Aichernig, Carlo A. Furia
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 199
EAN 9783319411347
ISBN 3319411349
Libristo code 10954109
Publishers Springer International Publishing AG
Weight 3343
Dimensions 155 x 235 x 14

Categories

Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Volcanologist Kevin Cunningham / Book Hardback
common.buy 11 601 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?