Publisher's Synopsis
Unifying Theories of Programming and Formal Engineering Methods
Paperback (27 Nov 2013)
Not available for sale
Out of stock
Unifying Theories of Programming and Formal Engineering Methods
ISBN: | 9783642397226 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 27 Nov 2013 |
Language: | English |
Number of pages: | 296 |
Weight: | 419g |
Height: | 234mm |
Width: | 156mm |