Home > A Reversible Operational Semantics for Imperative Programming Languages
"A Reversible Operational Semantics for Imperative Programming Languages" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
2014 | Springer London | ||
1992-12 | Cambridge University Press | ||
1993 | MIT Press | ||
1993 | MIT Press, | ||
1998 | Birkhäuser Boston | ||
1995 | Addison-Wesley Pub. Co | ||
1996 | MIT Press | ||
1996 | MIT Press, | ||
2018 | River Publishers | ||
[1996], ©1996. | MIT Press, | ||
February 1983 | Focal Press | ||
1998 | Technical University of Athens | ||
1977 | Dept. of Computer Science, University of Illinois | ||
1988 | McGraw | ||
January 1, 1997 | Irwin | ||
1986 | McGraw-Hill | ||
1979 | D. Reidel Pub. Co.;Springer | ||
1978 | Springer Netherlands | ||
2012-12 | Cambridge University Press | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
1st ed. 2020 | Springer International Publishing | ||||
2014 | Springer London | ||||
1st ed. 2018 | Springer International Publishing | ||||
2013 | Routledge | ||||
2010 | John Wiley & Sons | ||||
2011 | Springer Berlin Heidelberg | ||||
1998 | MIT Press | ||||
1999 | Springer Berlin Heidelberg | ||||
1997 | Springer Berlin Heidelberg | ||||
1st ed. 1990 | Springer New York | ||||
1998 | Macmillan Technical Pub. | ||||
2000 | Springer Berlin Heidelberg | ||||
1987 | Springer Berlin Heidelberg | ||||
1969 | Springer US | ||||
2006 | Springer Berlin Heidelberg | ||||
2014 | Springer London | ||||
1st ed. 2017 | Springer International Publishing | ||||
1998 | Technical University of Athens | ||||
1997 | Springer Berlin Heidelberg | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |