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