Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Types for Proofs and Programs
International Workshop
by Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Springer · 1999 · Paperback
₹5,481
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Types for Proofs and Programs: International Workshop by Thorsten Altenkirch, Wolfgang Naraschewski & others is a 207-page paperback edition published by Springer in 1999.
Topics covered include Type theory, Congresses, Computer programming and Automatic theorem proving.
Book details
- ISBN-13
- 9783540665373
- ISBN-10
- 3540665374
- Authors
- Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
- Publisher
- Springer
- Published
- 1999
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 207
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Computer Engineering and Technology
Weixia Xu
₹4,200
Compiler Generators
Mads Tofte
₹7,765
Reasoning Web. Semantic Technologies for Information Systems
Sergio Tessaris
₹3,111
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
₹5,461
Pld Based Design with Vhdl
Vaibbhav Taraate
₹13,872
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963
Logic Program Synthesis and Transformation
John Gallagher
₹5,542
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452