Formal Specification Using Z
David Lightfoot
₹2,706
Algebraic Methodology and Software Technology
4th International Conference
by V. S. Alagar, Maurice Nivat
Springer · 1995 · Paperback
₹4,890
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 1995, Algebraic Methodology and Software Technology: 4th International Conference by V. S. Alagar & Maurice Nivat runs to 591 pages in paperback. The book is part of the Lecture notes in computer science series.
Topics covered include Congresses, Software engineering, Abstract data types (Computer science) and Applied mathematics.
Book details
- ISBN-13
- 9783540600435
- ISBN-10
- 3540600434
- Authors
- V. S. Alagar, Maurice Nivat
- Publisher
- Springer
- Published
- 1995
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 591
- Language
- English
- Condition
- New
More in Mathematical theory of computation
High Performance Computing
Constantine Polychronopoulos, Kazuki Joe, Akira Fukuda
₹5,586
Stacs 99
Christoph Meinel, Sophie Tison
₹4,408
Algorithms and Data Structures
R. I.) Wads 200 (2001 Providence, Roberto Tamassia, J. R. Sack
₹4,250
Theoretical Computer Science
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
₹5,759
Trees in Algebra and Programming - Caap '94
Sophie Tison
₹5,623
Graph-Theoretic Concepts in Computer Science
Gunther Schmidt Gottfried Tinhofer
₹5,084
Logic in Computer Science
Michael Huth, Mark Ryan
₹2,861
Computing with Mathematica
Hartmut F.W Hoft, Margret H. Hoft
₹3,729
Algebraic Geometric Codes
Dmitry Nogin, Serge Vlǎduţ, Michael Tsfasman
₹3,404
Curves and Surfaces for Computer-Aided Geometric Design
Gerald Farin
₹3,281
Distributed Algorithms
Adrian Segall, Shmuel Zaks
₹5,573