Explore Books on
b method (computer science)

Modeling in event-b

By Jean-Raymond Abrial

The B-Book

By J. R. Abrial

The B-method (Cornerstones of Computing)

By Steve Schneider

The B-book

By Jean-Raymond Abrial

B 2007

By

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

By Michael Butler

Abstract State Machines Alloy B And Z

By Uwe Glasser

B'98

By International B Conference (2nd 1998 Montpellier, France)

B 2007

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