This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
ZUM'97
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for Students. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Much has been written in the past decade about the usefulness of formal methods for developing computer systems. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
firing condition interpretation, weak refinement, new deductive system, specifying reactive systems, chemical semantics, information retrieval session, time variables input, conceptual index, unordered buffer, dom stock, analysis class diagram, unsatisfiable cases, retrieve relation, deposit belt, rippling heuristic, schema calculus, mathematical toolkit, empty instructions, user workshop, membership proofs, operation schemas, pipe stage, state schema, further bookings, leaving links Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Prentice Hall, Oxford University Computing Laboratory, International Conference, Parks Road, Wolfson Building, User Meeting, Cambridge University Press, Jonathan Jacky, Springer Verlag, Technical Monograph, Concepts Visited, University of Queensland, Elsevier Science Publishers, Information Space, Artificial Intelligence, Links Visited, University of Virginia, John Wiley, British Computer Society, Computer Society Press, Document Space, Imperial College, Refinement Workshop, The Computer Journal New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Much has been written in the past decade about the usefulness of formal methods for developing computer systems. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
firing condition interpretation, weak refinement, new deductive system, specifying reactive systems, chemical semantics, information retrieval session, time variables input, conceptual index, unordered buffer, dom stock, analysis class diagram, unsatisfiable cases, retrieve relation, deposit belt, rippling heuristic, schema calculus, mathematical toolkit, empty instructions, user workshop, membership proofs, operation schemas, pipe stage, state schema, further bookings, leaving links Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Prentice Hall, Oxford University Computing Laboratory, International Conference, Parks Road, Wolfson Building, User Meeting, Cambridge University Press, Jonathan Jacky, Springer Verlag, Technical Monograph, Concepts Visited, University of Queensland, Elsevier Science Publishers, Information Space, Artificial Intelligence, Links Visited, University of Virginia, John Wiley, British Computer Society, Computer Society Press, Document Space, Imperial College, Refinement Workshop, The Computer Journal New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 80
books:
See all 80 books this book cites
- Software Engineering by Gregory W. Jones on 7 pages
- Computer Science by Richard Jones on 6 pages
- Computer Science by Susan K. Baumann on 4 pages
- Software Engineering (Tutorial Guides in Electronic Engineering, 17) by D. C. Ince on 4 pages
- Computer Science: A Concise Introduction by Ian Robertson Sinclair on 4 pages
See all 80 books this book cites
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Programming > Algorithms
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
