Category: 9781848161061
SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT - LANO KEVIN ET AL
AUTHOR AFFILIATION : IMPERIAL COLLEGE, UK PUB DATE : 3-Apr-96 ONLINE RELEASE DATE : 27-Aug-12
View DetailsFind the best businesses and services near you. Discover verified companies across all industries.
AUTHOR AFFILIATION : IMPERIAL COLLEGE, UK PUB DATE : 3-Apr-96 ONLINE RELEASE DATE : 27-Aug-12
View Details