Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne [and others] (eds.). by Series: Lecture notes in computer science ; 3455.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Formal specification and development in Z and B
  • 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
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
Pages

Powered by Koha