Apt, K. R. a., de Boer, F. S. a., & Olderog, E. a. (2009). Verification of Sequential and Concurrent Programs (3rd ed. 2009.). Springer London. https://doi.org/10.1007/978-1-84882-745-5
Chicago-tyylinen lähdeviittausApt, Krzysztof R. author, Frank S. author de Boer, ja Ernst-Rüdiger. author Olderog. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. London: Springer London, 2009. https://doi.org/10.1007/978-1-84882-745-5.
MLA-viiteApt, Krzysztof R. author, et al. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. Springer London, 2009. https://doi.org/10.1007/978-1-84882-745-5.
Harvard-tyylinen lähdeviittausApt, K. R. a., de Boer, F. S. a. & Olderog, E. a. 2009. Verification of Sequential and Concurrent Programs. 3rd ed. 2009. London: Springer London.
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
