Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Specification in B [electronic resource] : an introduction using the B toolkit / Kevin Lano, Howard Haughton. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: London : Singapore ; River Edge, NJ : Imperial College Press ; Distributed by World Scientific Pub., c1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Modeling in Event-B : system and software engineering / Jean-Raymond Abrial. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge ; New York : Cambridge University Press, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha