Home > Fundamental proof methods in computer science: a computer-based approach
"Fundamental proof methods in computer science: a computer-based approach" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
2017 | MIT Press | ||
2017 | MIT Press | ||
2009 | Imperial College Press | ||
2008-06 | Cambridge University Press | ||
1993 | Springer Netherlands | ||
1997 | Springer Vienna | ||
2019 | Routledge | ||
2nd ed. 2014 | Springer London | ||
2011 | Springer London | ||
3rd ed. 2020 | Springer International Publishing | ||
1977 | Noordhoff | ||
1994 | Dryden Press | ||
2001. | McGraw-Hill/Irwin, | ||
c2006. | McGraw-Hill Higher Education, | ||
1987 | Macmillan;Collier Macmillan | ||
2016 | De Gruyter | ||
June 1988 | Trans-Atlantic Publications | ||
1997 | Delmar Publishers | ||
1988 | Prentice Hall | ||
1991 | Prentice Hall | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
2017 | MIT Press | ||||
2017 | MIT Press | ||||
1st ed. 1997 | Springer US | ||||
2nd ed. 2014 | Springer London | ||||
1995 | Springer Berlin Heidelberg | ||||
2011 | Springer London | ||||
3rd ed. 2020 | Springer International Publishing | ||||
1990 | |||||
2008 | Springer Berlin Heidelberg | ||||
1974 | Unesco Press | ||||
2004 | Academic Press | ||||
2009 | Prentice Hall | ||||
c2010. | Carswell, | ||||
2020 | |||||
2005 | CRC Press | ||||
2005 | The Mathematical Association of America | ||||
2010 | Springer Berlin Heidelberg | ||||
2008 | Edward Elgar Publishing | ||||
1995 | Springer Berlin Heidelberg | ||||
1998 | Springer Berlin Heidelberg | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |