Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Fundamentals of Structured Program Design
by Dan Robinson
Pearson · 2002 · Paperback
₹3,898
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 Pearson in 2002, Fundamentals of Structured Program Design by Dan Robinson runs to 344 pages in paperback. It first appeared in 1999.
Its main subjects are Structured programming, Programmation structuree, Computer Programming and Computers.
Book details
- ISBN-13
- 9780130602398
- ISBN-10
- 0130602396
- Author
- Dan Robinson
- Publisher
- Pearson
- Published
- 2002
- First published
- 1999
- Edition
- 2
- Binding
- Paperback
- Pages
- 344
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Functional and Logic Programming
Zhenjiang Hu
₹4,856
Reliable Software Technologies -- Ada-Europe 2013
International Conference
₹3,610
Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference
Hartmut Ehrig, Christiane Floyd, Maurice Nivat
₹4,524
Automated Reasoning
Bernhard Gramlich, Dale Miller, Ulrike Sattler
₹5,686
Model-Based Safety and Assessment
Frank Ortmeier, Antoine Rauzy
₹3,438
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, Sanjeev Kumar
₹5,642
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285
Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222
Stacs 84
M. Fontet, K. Mehlhorn
₹3,274