Normal view MARC view ISBD view

Specification in B: An introduction using the B toolkit

Lano, Kevin

Specification in B: An introduction using the B toolkit - London Imperial College Press 1996 - 242

ISBN: 9781860940187

Subjects--Topical Terms:
B TOOLKIT
PROGRAMMING

Dewey Class. No.: 005.1 LAN/S

Place hold
Print
Add to your cart (remove)
Send to device
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS
More searches

Search for this title in:
Goodreads Google Books Amazon India Kerala Academic Library Network (Union Catalog)