Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
B 2007
International B Conference (7t ...

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $42.03 (used)
Better World Books

Oh, pooh. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

B 2007
formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
Jacques Julliand, Olga Kouchnarenko (eds.).

Published 2006 by Springer in Berlin, New York .
Written in English.

Edition Notes

Includes bibliographical references and index.

Series
Lecture notes in computer science -- 4355
Genre
Congresses.
Other Titles
7th International Conference of B Users, Seventh International Conference of B Users, International Conference of B Users

Classifications

Library of Congress
QA76.9.B22 I57 2007

The Physical Object

Pagination
xiii, 292 p. :
Number of pages
292

ID Numbers

Open Library
OL17160074M
ISBN 10
3540687602
ISBN 13
9783540687603
LC Control Number
2006938539

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 22, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page