Reihe Springer Texts in Electrical EngineeringHelmut A. Partsch × Specification and Transformation of ProgramsA Formal Approach to Software DevelopmentHelmut A. PartschSpringer BerlineBook201253,49 € Specification and Transformation of ProgramsA Formal Approach to Software DevelopmentHelmut A. PartschSpringer BerlinSoftcover199053,49 €
