Category Theory and Computer Science
David H. Pitt, Pierre-Louis Curien, Samson Abramsky
₹5,530
Category Theory and Computer Science
Edinburgh, Uk, September 7-9, 1987. Proceedings
by David H. Pitt, Axel Poigne, David E. Rydeheard
Springer · 1987 · Paperback
₹5,528
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
Category Theory and Computer Science: Edinburgh, Uk, September 7-9, 1987. Proceedings is written by David H. Pitt, Axel Poigne & others. This paperback edition from Springer (1987) has 300 pages.
Its main subjects are Mathematics, Categories (Mathematics), Computer science and Operating systems & graphical user interfaces (GUIs).
Book details
- ISBN-13
- 9783540185086
- ISBN-10
- 3540185089
- Authors
- David H. Pitt, Axel Poigne, David E. Rydeheard
- Publisher
- Springer
- Published
- 1987
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 300
- Language
- English
- Condition
- New
- Subject
- Logic design
More by David H. Pitt and related titles
Abstraction, Refinement and Proof for Probabilistic Systems
Charles Carroll Morgan, Annabelle McIver
₹12,055
Formal Methods for Components and Objects
Frank S. de Boer
₹6,195
Formal Methods at the Crossroads
Bernhard K. Aichernig
₹4,256
Automata, Languages, and Programming
Serge Abiteboul, Eli Shamir
₹4,896
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Theoretische Informatik
Klaus W. Wagner
₹2,155
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker
Soren Prehn, Hans Toetenel
₹5,598
Trends in Functional Programming
Rex Page, Zoltan Horvath, Viktoria Zsók
₹5,705
International Symposium on Programming
Ugo Montanari Mariangiola Dezani-Ciancaglini
₹2,793
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
₹5,520
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi
₹5,521