"B (Computer program language)" - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: subject "B (Computer program language)"

Showing 1 - 10 of 10 results

Search Results

Cover image for The B-book

The B-book

by Abrial, Jean-Raymond
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.B2 A267 1996	✔ Available

Cover image for The B language and method

The B language and method

by Lano, K.
1996
Format: Electronic

Location
Access Content Online

Cover image for ZB 2002

ZB 2002

by International Conference of B and Z Users
2002
Format: Electronic

Location
Access Content Online

Cover image for ZB 2003

ZB 2003

by International Conference of B and Z Users
2003
Format: Electronic

Location
Access Content Online

Cover image for ZB 2000

ZB 2000

by International Conference of B and Z Users
2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.73.B155 I58 2000	✔ Available

Cover image for ZB 2000

ZB 2000

by International Conference of B and Z Users
2000
Format: Electronic

Location
Access Content Online

Cover image for ZB 2002: formal specification and development in Z and B

ZB 2002: formal specification and development in Z and B

by International Conference of B and Z Users
2002
Format: Electronic

Location
Access Content Online

Cover image for ZB 2003

ZB 2003

by International Conference of B and Z Users
2003
Format: Electronic

Location
Access Content Online

Cover image for ZB 2005

ZB 2005

by International Conference of B and Z Users
2005
Format: Electronic

Location
Access Content Online

Cover image for ZB 2005

ZB 2005

by International Conference of B and Z Users
2005
Format: Electronic

Location
Access Content Online