B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

Author/Creator:

International B Conference Besançon, France) 2007 : (7th

Publication/Creation:

Berlin ; New York : Springer, [2006]

Resource Type:

Book

More Details

Additional/Related Title Information

Full Title:

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.).

Series Titles:

Lecture notes in computer science ; 4355
Lecture notes in computer science ; 4355.

Variant Titles:

7th International Conference of B Users
Seventh International Conference of B Users
International Conference of B Users

Related Names

Additional Author/Creators:

Julliand, Jacques
Kouchnarenko, Olga

Subjects/Genre

Subjects:

B method (Computer science)--Congresses
Debugging in computer science--Congresses

Description/Summary

Language:

English

Physical Type/Description:

xiii, 292 pages : illustrations ; 24 cm.

Additional Identifiers

Catalog ID (MMSID):

990006635150302486

ISBN:

3540687602 (pbk.)
9783540687603 (pbk.)

OCLC Number:

77482382

Barcode:

010001234040