.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
B 2007 Formal Specification and Development in B
N/A
€ 67.13
FREE Delivery in Ireland
Description for B 2007 Formal Specification and Development in B
Paperback. Constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besancon, France, January 2007. This book offers coverage that includes industrial applications and case studies using B, and integration of model-based specification methods in the software development lifecycle. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 310 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of ... Read more
TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan¸ con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of ... Read more
Product Details
Format
Paperback
Publication date
2006
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
310
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
297
Place of Publication
Berlin, Germany
ISBN
9783540687603
SKU
V9783540687603
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for B 2007 Formal Specification and Development in B