Subject: "B method (Computer science) Congresses." - ECU Libraries Catalog Search Results

Did you mean to type: methods?

Clear Search

You searched for: Subject "B method (Computer science) Congresses."

1 - 4 of 4

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
by International B Conference 1998 : Montpellier, France)
1998
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA76.9.B22 I57 1998

B 2007 formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings
by International B Conference 2007 : Besançon, France)
2006
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
by International B Conference 1998 : Montpellier, France)
1998
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Abstract state machines, alloy, B and Z second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
by ABZ 2010 (2010 : Orford, Québec)
2010
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Expand your search