Home > Formal Models and Semantics
"Formal Models and Semantics" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
1990 | Elsevier | ||
2002 | John Wiley & Sons | ||
1999 | Springer US | ||
1971 | Macmillan | ||
1971 | Macmillan | ||
1998 | Springer Berlin Heidelberg | ||
1992-10 | Cambridge University Press | ||
1995 | Springer US | ||
2004 | John Wiley & Sons | ||
[1995], ©1995. | Kluwer Academic Publishers, | ||
1993-02 | Cambridge University Press | ||
1999 | Springer Berlin Heidelberg | ||
1975-12 | Cambridge University Press | ||
2010 | John Benjamins Pub. Company | ||
1979 | D. Reidel Pub. Co.;Springer | ||
1978 | Springer Netherlands | ||
1995 | Springer Netherlands | ||
2016-07 | Cambridge University Press | ||
2020 | John Wiley & Sons | ||
2020 | ISTE / Wiley | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
2004 | World Scientific Publishing Company | ||||
2010 | Springer New York | ||||
2010 | Springer US | ||||
2nd ed. 2015 | Springer International Publishing | ||||
2008 | Springer US | ||||
2002 | Routledge | ||||
2008 | Oxford University Press | ||||
2005 | Oxford University Press | ||||
1985 | The MIT Press | ||||
1st ed. 2018 | Springer Berlin Heidelberg | ||||
2018 | MIT Press, and are posted here under the Creative Commons license CC-BY-NC-ND | ||||
1989 | Yale | ||||
2007 | John Wiley & Sons | ||||
2006 | John Wiley & Sons | ||||
2017 | John Wiley & Sons | ||||
2012 | Course Technology/Cengage Learning | ||||
D. Perrin. Context-free languages / J. Berstel; L. Boasson. Formal languages; power series / A. Salomaa. Automata on infinite objects / W. Thomas. Graph rewriting : an algebraic; logic approach / B. Courcelle. Rewrite systems / N. Dershowitz; J.-P. Jounnaud. Functional programming; lambda calculus / H.P. Barendregt. Type systems for programming languages / J.C. Mitchell. Recursive applicative program schemes / B. Courcelle. Logic programming / K.R. Apt. Denotational semantics / P.D. Mosses. Semantic domains / C.A. Gunter; D.S. Scott. Algebraic specification / M. Wirsing. Logics of programs / D. Kozen; J. Tiuryn | 1994 | Elsevier;MIT Press | |||
1999 | Routledge | ||||
1999 | Routledge | ||||
2001 | MIT Press, | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |