Quantity:


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings (Lecture Notes in Computer Science) [Paperback]

Didier Bert (Editor), Jonathan P. Bowen (Editor), Martin C. Henson (Editor), Ken Robinson (Editor)

Price:	$87.95 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	Special Offers Available
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Tuesday, January 31? Choose One-Day Shipping at checkout. Details

FREE Two-Day Shipping for Students. Learn more

Book Description

Series: Lecture Notes in Computer Science | Publication Date: March 5, 2002

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

Special Offers and Product Promotions

Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)

Product Details

Paperback: 547 pages
Publisher: Springer; 1 edition (March 5, 2002)
Language: English
ISBN-10: 3540431667
ISBN-13: 978-3540431664
Product Dimensions: 9.1 x 6.1 x 1.4 inches
Shipping Weight: 1.7 pounds (View shipping rates and policies)
Amazon Best Sellers Rank: #9,149,980 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

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

Citations (learn more)

This book cites 54 books:

Computer Science by Richard Jones on 5 pages
Proceedings of the 18th International Conference on Software Engineering: March 25-29, 1996 Berlin, Germany (International Conference on Software ... 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)

ZB 2003 by Didier Bert

Discusses:

FME 2003 by Keijiro Araki

Discusses:

Handbook of Automated Reasoning, Volume I by A. Voronkov

Discusses:

FME '96 by Marie-Claude Gaudel

Discusses:

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.

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

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Science forum A Falsifiable Scientific Creationist theory?	9989	14 minutes ago
Science forum Are there scientific proofs to support a 9-11 coverup?	10	54 minutes ago
Science forum Global warming is nothing but a hoax and a scare tactic	8158	1 hour ago
Science forum What is the difference between Lorentz Transformation and the Theory of Special Relativity?	148	1 hour ago
Textbook forum Never Again	29	1 hour ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	168	3 days ago
Medicine forum Medical fraud, let's count the ways ...	47	5 days ago
Medicine forum ProPublica on Dollars for Doctors	0	6 days ago