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

Sponsored  This site contains affiliate links for which we may receive compensation. More information
Find other available options:
Identifiers
ISBN Springer-Verlag Berlin and Heidelberg GmbH & Co. K 3540760334
MPN Springer-Verlag Berlin and Heidelberg GmbH & Co. K biography
Dimensions / Weight
Key Features
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Springer-Verlag Berlin and Heidelberg GmbH & Co. K. is a scientific publishing company. It was founded in 1842 by Julius Springer.