Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

MLA

Calinescu, Radu, et al. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Springer Berlin Heidelberg, 2011.

APA

Calinescu, R., Jackson, E., Kanade, T., & Kittler, J. (2011). Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. Springer Berlin Heidelberg.

Chicago

Calinescu, Radu, Ethan Jackson, Takeo Kanade, and Josef Kittler. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. : Springer Berlin Heidelberg, 2011.