Biblio

Export 2 results:
Filters: Автор is Jean-Raymond Abrial  [Clear All Filters]
2010
Modeling in Event-B: System and Software Engineering. Cambridge, UK: Cambridge University Press, 2010.
1996
The B-Book: Assigning Programs to Meanings . Cambridge, UK: Cambridge University Press, 1996.