Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella
₹5,630
Refinement in Z and Object-Z
Foundations and Advanced Applications (Formal Approaches to Computing
by John Derrick, Eerke A. Boiten
Springer London Ltd · 2001 · Paperback
₹1,482
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 London Ltd in 2001, Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing by John Derrick & Eerke A. Boiten runs to 492 pages in paperback.
Topics covered include Z (Computer program language), Object-oriented programming (Computer science), Programming languages and Software engineering.
Book details
- ISBN-13
- 9781852332457
- ISBN-10
- 185233245X
- Authors
- John Derrick, Eerke A. Boiten
- Publisher
- Springer London Ltd
- Published
- 2001
- Edition
- Softcover reprint of the original 1st ed. 2001
- Binding
- Paperback
- Pages
- 492
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by John Derrick and related titles
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick, John Fitzgerald, Stefania Gnesi
₹5,584
Swift 2 Blueprints
Cecil Costa
₹2,636
Foundations of F #
Robert Pickering
₹2,574
Thinking in Linq
Sudipta Mukherjee
₹4,714
The Awk Programming Language
Brian W. Kernighan, Peter J. Weinberger, Alfred V. Aho
₹3,737
C# Precisely
Peter Sestoft, Henrik I. Hansen
₹6,721
The Lean Mindset
Mary Poppendieck, Tom Poppendieck
₹3,468
C# Precisely, second edition
Peter Sestoft, Henrik I. Hansen
₹4,142
Swift 2 Design Patterns
Julien Lange
₹1,547
Algebraic Approaches to Program Semantics
Ernest G. Manes, Michael A. Arbib
₹6,769
Practical Aspects of Declarative Languages
Enrico Pontelli, Tran Cao Son
₹3,167