Syntactic Effects of Morphological Change
David Lightfoot
₹4,686
Formal Specification Using Z
Palgrave Macmillan · 1991 · Paperback
₹2,706
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
Formal Specification Using Z by David Lightfoot is a 176-page paperback edition published by Palgrave Macmillan in 1991.
Topics covered include Z (computer program language), Computer software, Development and Formal methods (Computer science).
About the author: David Lightfoot (born 1945).
Book details
- ISBN-13
- 9780333544082
- ISBN-10
- 0333544080
- Author
- David Lightfoot
- Publisher
- Palgrave Macmillan
- Author dates
- David Lightfoot (born 1945)
- Published
- 1991
- Binding
- Paperback
- Pages
- 176
- Language
- English
- Condition
- New
More by David Lightfoot and related titles
Natural Logic and the Greek Moods
David Lightfoot
₹4,591
How New Languages Emerge
David Lightfoot
₹5,051
How to Set Parameters – Arguments from Language Changes
David Lightfoot
₹4,042
Gröbner Deformations of Hypergeometric Differential Equations
Mutsumi Saito, Bernd Sturmfels, Nobuki Takayama
₹900
Logical and Computational Aspects of Model-Based Reasoning
Lorenzo Magnani
₹7,735
Algorithmic Learning Theory - Alt '92
Shuji Doshita, Koichi Furukawa, Klaus P. Jantke
₹5,510
Topology for Computing by Afra J. Zomorodian – Computational Topology
Afra J. Zomorodian, Philippe G. Ciarlet, A. Iserles
₹4,750
Statistical Mechanics of Learning
A. Engel, C. Van den Broeck
₹5,055
Mechanical Theorem Proving in Geometries
Wen-Tsun Wu
₹2,664
Recent Advances in Ai Planning
England) European Conference on Planning 1999 (Durham, Maria Fox
₹5,107
Automatic Sequences
Jean-Paul Allouche, Jeffrey Shallit
₹4,291