Formal Specification and Design Jonkers, H. B. M. Feijs, L. M. G. 9780521435925 Cambridge Tracts in Theoretical Computer Science Heftet 10.11.2005 Engelsk I salg