This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
ZUM '95
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. 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:
One of the many mistakes made in the early days of Computer Science was using the term "language" to describe things like FORTRAN, C, Modula, ADA, or ML In normal usage, "language" denotes a set of signals, symbols and conventions for formulating, communicating, and recording facts (or ideas) between people. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Prentice Hall, Oxford University Computing Laboratory, Lecture Notes, University of Queensland, Parks Road, User Meeting, Wolfson Building, International Conference, Technical Monograph, Cambridge University Press, Springer Verlag, Ministry of Defence, Elsevier Science Publishers, Software Verification Research Centre, Microsoft Windows, Sieve Construct, The Computer Journal, University of York, Hursley Park, John Wiley, John Rushby, University of Westminster, World Wide Web, World-Wide Web, Anthony Hall New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
One of the many mistakes made in the early days of Computer Science was using the term "language" to describe things like FORTRAN, C, Modula, ADA, or ML In normal usage, "language" denotes a set of signals, symbols and conventions for formulating, communicating, and recording facts (or ideas) between people. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Prentice Hall, Oxford University Computing Laboratory, Lecture Notes, University of Queensland, Parks Road, User Meeting, Wolfson Building, International Conference, Technical Monograph, Cambridge University Press, Springer Verlag, Ministry of Defence, Elsevier Science Publishers, Software Verification Research Centre, Microsoft Windows, Sieve Construct, The Computer Journal, University of York, Hursley Park, John Wiley, John Rushby, University of Westminster, World Wide Web, World-Wide Web, Anthony Hall 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 100
books:
See all 100 books this book cites
- Specification Case Studies (Prentice-Hall International series in computer science) by Ian Hayes on 9 pages
- Software Engineering by Gregory W. Jones on 9 pages
- Computer Science by Richard Jones on 8 pages
- Computer Science: A Concise Introduction by Ian Robertson Sinclair on 5 pages
- Software Engineering Mathematics (Sei Series in Software Engineering) by Jim Woodcock on 4 pages
See all 100 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 > 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
