Coalgebraic Methods in Computer Science
Marcello M. Bonsangue
₹3,777
Types for Proofs and Programs
International Workshop TYPES'96
by Eduardo Gimenez, Christine Paulin-Mohring
Springer · 1998 · Paperback
₹5,565
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 TYPES'96 by Eduardo Gimenez & Christine Paulin-Mohring is a 373-page paperback edition published by Springer in 1998. The book is part of the Lecture notes in computer science series.
Its main subjects are Congresses, Type theory, Computer logic and Proof theory.
Book details
- ISBN-13
- 9783540651376
- ISBN-10
- 3540651373
- Authors
- Eduardo Gimenez, Christine Paulin-Mohring
- Publisher
- Springer
- Published
- 1998
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 373
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,277
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Logic and Computer Design Fundamentals
M. Morris Mano, Charles Kime, Tom Martin
₹4,070
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,247
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
₹5,584
Digital Logic Design
Guy Even, Moti Medina
₹4,599
Stacs 92
Alain Finkel, Matthias Jantzen
₹4,505
Programming Languages and Systems - ESOP '94
Donald Sannella
₹5,642
Mathematics of Program Construction
Jan L.A. van de Snepscheut
₹4,241