Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report by Bernhard
67,31 €
The book stems from work done by IFIP Working Group 2. 1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches.
Jetzt bei Ebay:
