info@libristo.eu
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Tests and Proofs

Language EnglishEnglish
Book Paperback
Book Tests and Proofs Bernhard Beckert
Libristo code: 01570158
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2008
This book constitutes the refereed proceedings of the Second International Conference on Tests and P...
? points 161 b
68.18 €
Low in stock at our supplier Shipping in 10-14 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Un paseo por la historia - Peregrino de Santiago Sergio Remedios Sanchez / Paperback
common.buy 9.73 €
Freunde finden und gewinnen Ingvelde Scholz / Sheet
common.buy 12.85 €
Amorous History of the Silver Screen Zhang Zhen / Hardback
common.buy 153.92 €
New Lands within the Arctic Circle Julius von Payer / Paperback
common.buy 64.43 €
Language Acquisition Paul FletcherMichael Garman / Paperback
common.buy 90.87 €
Die Bedeutung der BAO im Rechtssystem - Festschrift für Michael Tanzer Patrick Knörzer / Hardback
common.buy 123.10 €

This book constitutes the refereed proceedings of the Second International Conference on Tests and Proofs, TAP 2008, held in Prato, Italy, in April 2008.

About the book

Full name Tests and Proofs
Author Bernhard Beckert, Reiner Hähnle
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 193
EAN 9783540791232
ISBN 354079123X
Libristo code 01570158
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 327
Dimensions 155 x 235 x 13

Categories

Computing & Information Technology > Information technology: general issues > Ethical & social aspects of IT
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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