Related Books

B 2007: Formal Specification and Development in B
Language: en
Pages: 305

B 2007: Formal Specification and Development in B

Authors: Jacques Julliand
Categories: Computers
Type: BOOK - Published: 2006-12-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this
B 2007: Formal Specification and Development in B
Language: en
Pages: 305

B 2007: Formal Specification and Development in B

Authors: Jacques Julliand
Categories: Computers
Type: BOOK - Published: 2006-12-12 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this
B 2007
Language: en
Pages:

B 2007

Authors: Jacques Julliand
Categories:
Type: BOOK - Published: 2007 - Publisher:

DOWNLOAD EBOOK

Printbegrænsninger: Der kan printes kapitelvis.
The B Language and Method
Language: en
Pages: 244

The B Language and Method

Authors: Kevin Lano
Categories: B (Computer program language)
Type: BOOK - Published: 1996-05-14 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 10439

Authors:
Categories:
Type: BOOK - Published: - Publisher: IOS Press

DOWNLOAD EBOOK