Publisher's Synopsis
Unifying Theories of Programming and Formal Engineering Methods
Paperback (27 Nov 2013)
Not available for sale
Includes delivery to the United States
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 |