9 treff

Mathematical logic for computer science
Ben-Ari, M.
Bok Engelsk 2012
Principles of the SPIN model checker
Ben-Ari, M.
Bok Engelsk 2008
Principles of concurrent and distributed programming
M. Ben-Ari
Bok Engelsk 2006
Just a theory : exploring the nature of science
Ben-Ari, M.
Bok Engelsk 2005
Mathematical logic for computer science
Ben-Ari, M.
Bok Engelsk 2001
Understanding programming languages
M. Ben-Ari
Bok Engelsk 1996
Mathematical logic for computer science
M. Ben-Ari
Bok Engelsk 1993
Principles of concurrent and distributed programming
M. Ben-Ari
Bok Engelsk 1990
Principles of concurrent programming
M. Ben-Ari
Bok Engelsk 1982