Product Description
Proceedings of the 2nd Intl Conference of B and Z Users, held January 23-25, 2002 in Grenoble, France. Provides recent advances for the Z formal specification notion and for the B method. Softcover.
Join Amazon Prime and ship Two-Day for free and Overnight for $3.99. Already a member? Sign in.
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Inside This Book
(learn more)
First Sentence:
A classic paper by Burstall and Goguen in 1977 [2] taught us to think about data types used in computer programs as logical theories, presented by axioms, whose properties can be explored by logical deduction. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Lecture Notes, Springer Verlag, Cambridge University Press, Springer-Verlag Berlin Heidelberg, Computer Society Press, Formal Aspects of Computing, New York, Kluwer Academic Publishers, Acta Informatica, Coll Tokens, Synchronization Hypotheses, Formal Engineering Methods, Oxford University Computing Laboratory, University of York, Communicating Sequential Processes, Formal Systems, Science of Computer Programming, Action Action, Artificial Intelligence, Discipline of Programming, Inductive Case, International Symposium, Journal of Automated Reasoning, Parks Road New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
A classic paper by Burstall and Goguen in 1977 [2] taught us to think about data types used in computer programs as logical theories, presented by axioms, whose properties can be explored by logical deduction. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Lecture Notes, Springer Verlag, Cambridge University Press, Springer-Verlag Berlin Heidelberg, Computer Society Press, Formal Aspects of Computing, New York, Kluwer Academic Publishers, Acta Informatica, Coll Tokens, Synchronization Hypotheses, Formal Engineering Methods, Oxford University Computing Laboratory, University of York, Communicating Sequential Processes, Formal Systems, Science of Computer Programming, Action Action, Artificial Intelligence, Discipline of Programming, Inductive Case, International Symposium, Journal of Automated Reasoning, Parks Road 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 54
books:
See all 54 books this book cites
- Computer Science by Andrew Meyenn on 5 pages
- Proceedings of the 18th International Conference on Software Engineering: March 25-29, 1996 Berlin, Germany (International Conference on Software Engineering//Proceedings ... Conference on Software Engineering) by IEEE on 4 pages
- The B-Book: Assigning Programs to Meanings by J. R. Abrial on 4 pages
- A Discipline of Programming (Prentice-Hall Series in Automatic Computation) by Edward W. Dijkstra on page 60, page 201, and page 289
- Communicating Sequential Processes (Prentice Hall International Series in Computing Science) by C.A.R. Hoare on page 139, page 202, and page 433
See all 54 books this book cites
Books on Related Topics
(learn more)
|
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. |
Help others find this product — tag it for Amazon search
No one has tagged this product for Amazon search yet. Why not be the first to suggest a search for which it should appear?
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Reviews
There are no customer reviews yet. Create your own review
| |||
Video reviews
|
|
Customer Discussions
Beta (What's this?)
New! See all customer communities, and bookmark your communities to keep track of them.
|
This product's forum
(0 discussions)
Ask questions, Share opinions, Gain insight
Active discussions in related forums
|
||||||||||||||||||||||||||||||||||||||||||
Product Information from the Amapedia Community
Beta (What's this?)Be the first person to add an article about this item at Amapedia.com.
› See featured Amapedia.com articles
Look for Similar Items by Category
- Books > Amazon Upgrade > All Amazon Upgrade
- Books > Amazon Upgrade > Computers & Internet
- Books > Amazon Upgrade > Medicine
- Books > Amazon Upgrade > Professional & Technical
- Books > Amazon Upgrade > Reference
- Books > Amazon Upgrade > Science
- Books > Computers & Internet > Computer Science > Artificial Intelligence > Theory of Computing
- Books > Computers & Internet > Computer Science > Software Engineering > Methodology
- Books > Computers & Internet > Programming > Languages & Tools
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Internet > Programming > Software Design, Testing & Engineering > UML
- Books > Computers & Internet > Software
- Books > Medicine
- Books > Professional & Technical > Professional Science > Mathematics > Pure Mathematics
- Books > Reference
- Books > Science > Mathematics > Pure Mathematics > Logic
SpaFeatures: Free Shipping |
Best Books of 2008 |
Buy Three Books, Get a Fourth Free |
||||||||
|
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue shopping: Top Sellers
| ||||
| ||
| ||
| ||
| ||
| ||
