Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Functional Programming Languages and Computer Architecture
Proceedings, Nancy, France, September 16-19, 1985
Springer · 1986 · Paperback
₹5,584
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
Published by Springer in 1986, Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 by Jean-Pierre Jouannaud runs to 424 pages in paperback.
Topics covered include Congresses, Functional programming languages, Computer architecture and Languages.
Book details
- ISBN-13
- 9783540159759
- ISBN-10
- 3540159754
- Author
- Jean-Pierre Jouannaud
- Publisher
- Springer
- Published
- 1986
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 424
- Language
- English
- Condition
- New
- Subject
- Computer architecture
More by Jean-Pierre Jouannaud and related titles
Rewriting Techniques and Applications
Jean-Pierre Jouannaud
₹4,528
Constraints in Computational Logics
Jean-Pierre Jouannaud
₹5,569
Architecting Systems with Trustworthy Components
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski
₹5,639
Die Kornwestheimer Tagebücher 1772-1777
Philipp Matthäus Hahn, Martin Brecht, Rudolf F. Paulus
₹4,518
Scientific Software Design
Rouson
₹12,688
Information Systems Architecture and Technology
Adam Grzech, Jerzy Wi Tek, Zofia Wilimowska, Leszek Borzemski
₹7,762
12 Essential Skills for Software Architects
Hendricksen
₹28,700
Microprocessor Architectures
Steve Heath
₹2,788
The Windows 2000 Device Driver Book
Art Baker, Jerry Lozano
₹2,799
Computer Architecture and Security
Shuangbao Paul Wang, Robert S. Ledley
₹5,790
Designing 2D and 3D Network-on-Chip Architectures
Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch
₹7,763