The B Language and Method: A Guide to Practical Formal Development | Kaicus UK

The B Language and Method: A Guide to Practical Formal Development

Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN: 3540760334
MPN: biography
Sponsored  This site contains affiliate links for which we may receive compensation. More information