Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design

Buy Now

Proof and Computation (Paperback, Softcover reprint of the original 1st ed. 1995) Loot Price: R2,983
Discovery Miles 29 830
Repayment Terms: R280 pm x 12*
Add to cart
Proof and Computation (Paperback, Softcover reprint of the original 1st ed. 1995): Helmut Schwichtenberg

Proof and Computation (Paperback, Softcover reprint of the original 1st ed. 1995)

Helmut Schwichtenberg

Series: NATO ASI Subseries F:, 139

 (sign in to rate)
Loot Price R2,983 Discovery Miles 29 830 | Repayment Terms: R280 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: NATO ASI Subseries F:, 139
Release date: December 2011
First published: 1995
Editors: Helmut Schwichtenberg
Dimensions: 235 x 155 x 24mm (L x W x T)
Format: Paperback
Pages: 470
Edition: Softcover reprint of the original 1st ed. 1995
ISBN-13: 978-3-642-79363-9
Categories: Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Internet > Network computers
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 3-642-79363-0
Barcode: 9783642793639

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

The System Designer's Guide to VHDL-AMS, Volume TBD - Analog, Mixed-Signal, and Mixed-Technology Modeling (Paperback):...
The System Designer's Guide to VHDL-AMS…
Peter J Ashenden, Gregory D. Peterson, … Paperback R2,355 Discovery Miles 23 550
The TOGAF standard, version 9.2 (Paperback, 11th ed): Open Group
The TOGAF standard, version 9.2
Open Group Paperback R2,255 Discovery Miles 22 550
Edsger Wybe Dijkstra - His Life, Work, and Legacy (Hardcover): Krzysztof R. Apt, Tony Hoare
Edsger Wybe Dijkstra - His Life, Work…
Krzysztof R. Apt, Tony Hoare Hardcover R3,225 Discovery Miles 32 250
CSS and HTML for beginners - A Beginners HTML and CSS Guide to Developing a Strong Coding Foundation, Building Responsive...
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R926 Discovery Miles 9 260
Kreislauf des Lebens (Hardcover): Jacob Moleschott
Kreislauf des Lebens
Jacob Moleschott Hardcover R1,237 Discovery Miles 12 370
CSS For Beginners - The Best CSS Guide For Beginners To Learn Learn CSS in One Day and Developing a Strong Coding Foundation...
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R997 R833 Discovery Miles 8 330
Advances in Delay-Tolerant Networks (DTNs) - Architecture and Enhanced Performance (Paperback, 2nd edition): Joel J. P. C....
Advances in Delay-Tolerant Networks…
Joel J. P. C. Rodrigues Paperback R4,844 Discovery Miles 48 440
Grammatical and Syntactical Approaches in Architecture - Emerging Research and Opportunities (Hardcover): Juhyun Lee, Michael...
Grammatical and Syntactical Approaches…
Juhyun Lee, Michael J. Ostwald Hardcover R5,885 Discovery Miles 58 850
Advances in Intelligent Systems - Reviews, Vol. 2 (Hardcover): Sergey Yurish
Advances in Intelligent Systems…
Sergey Yurish Hardcover R2,534 Discovery Miles 25 340
Constraint Decision-Making Systems in Engineering (Hardcover): Santosh Kumar Das, Nilanjan Dey
Constraint Decision-Making Systems in…
Santosh Kumar Das, Nilanjan Dey Hardcover R7,388 Discovery Miles 73 880
Heterogeneous Computing - Hardware and Software Perspectives (Hardcover): Mohamed Zahran
Heterogeneous Computing - Hardware and…
Mohamed Zahran Hardcover R1,662 Discovery Miles 16 620
Applying Integration Techniques and Methods in Distributed Systems (Hardcover): Gabor Kecskemeti
Applying Integration Techniques and…
Gabor Kecskemeti Hardcover R6,700 Discovery Miles 67 000

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners