Author facet: Abrial, Jean-Raymond - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet Abrial, Jean-Raymond

1 - 4 of 4

Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday
2009
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

The B-book : assigning programs to meanings
by Abrial, Jean-Raymond
1996
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.73.B2 A267 1996

Formal methods for industrial applications specifying and programming the steam boiler control
1996
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Formal methods for industrial applications : specifying and programming the steam boiler control
1996
Format: Book and Print

✔ Available View 2 Items

Library	Location	Call Number	Status
Joyner	General Stacks	TJ288 .F59 1996	✔ Available
Joyner	General Stacks	TJ288 .F59 1996 COMPACT DISC	✔ Available