Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System (Lecture Notes in Computer Science, 680, Band 680)

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 354056733X
MPN
Springer Berlin Heidelberg 6909292

Eigenschaften

Menü