Reihe Monographs in Computer ScienceHelmut A. Partsch × Specification and Transformation of ProgramsA Formal Approach to Software DevelopmentHelmut A. PartschSpringer BerlinHardcover199053,49 €
