ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / edited by Jean-Raymond Abrial, Uwe Glässer. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages