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

Proof and Computation

Language EnglishEnglish
Book Paperback
Book Proof and Computation Helmut Schwichtenberg
Libristo code: 07058969
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2011
Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Ge...
? points 271 b
39 217 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

You might also be interested in

Intergroup Relations in States of the Former Soviet Union Louk Hagendoorn / Book Hardback
common.buy 78 452 Ft
Cement Uptake Mechanisms Marika Vespa / Book Paperback
common.buy 23 881 Ft
Storm Mountain Anne Fitten Glenn / Book Paperback
common.buy 8 732 Ft
Time Bargains Tryed by the Rules of Equity and Principles of the Civil Law. David Dalrymple / Book Paperback
common.buy 5 156 Ft
Affordable
Natural Remedies: Natural Remedies that Heal! Ancient Primordial Cures, Treatments And Home Remedies To Protect Yourself And Provide Ins Mia Conrad / Book Paperback
common.buy 781 Ft
Berlin Bea Setton / Audiobook MP3
common.buy 4 028 Ft

Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993

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 Proof and Computation
Author Helmut Schwichtenberg
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 470
EAN 9783642793639
ISBN 3642793630
Libristo code 07058969
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 733
Dimensions 155 x 235 x 27

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer hardware > Network hardware
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 > 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

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?