Search for 'su:"Computers" and se:Texts in computer science'

Modal and temporal properties of processes

By Stirling, Colin. New York: Springer-Verlag, 2001 . xii, 190 p.; 24 cm.. 0387987177

By Kizza, Joseph Migga. London: Springer, 2007 . xxii, 429 p.; 24 cm.. 9781846286582

By Crespi Reghizzi, Stefano. London: Springer, 2009 . xii, 364 p.; 24 cm.. 9781848820494

By Roscoe, A. W.. London: Springer, 2010 . xviii, 527 p.; 24 cm.. 9781848822573