| Author | Helmut A. Partsch |
| Format | Hardcover |
| ISBN | 9783540523567 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Manufacturer | Springer-verlag Berlin And Heidelberg Gmbh & Co. K |
Provides an introduction to formal specification and transformational programming.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.