APA
Radu Calinescu E. J., . (2011). Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Germany: Springer.
Chicago
Radu Calinescu Ethan Jackson, . 2011. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Germany: Springer.
Harvard
Radu Calinescu E. J., . (2011). Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Germany: Springer.
MLA
Radu Calinescu Ethan Jackson, . Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Germany: Springer. 2011.