Doherty, G., & Blandford, A. (2020). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.
Dyfyniad Arddull ChicagoDoherty, Gavin, và Ann Blandford. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.
Dyfyniad MLADoherty, Gavin, và Ann Blandford. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.