Home > CHAPTER 21: FORMAL MODELING AND VERIFICATION
"CHAPTER 21: FORMAL MODELING AND VERIFICATION" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
2015 | Morgan Kaufmann | ||
2004 | Springer US | ||
2004 | Springer Science & Business Media | ||
2004 | Kluwer | ||
2004 | Kluwer | ||
2000 | Springer US | ||
2012 | John Wiley & Sons | ||
1999 | Springer Berlin Heidelberg | ||
2010 | Springer US | ||
2010 | Springer US | ||
1990 | IEEE Computer Society Press | ||
[1994], ©1994. | McGraw-Hill, | ||
1982 | Prentice-Hall | ||
2006 | Newnes | ||
2007 | Springer US | ||
2006 | Springer Netherlands | ||
2019 | Princeton University Press | ||
2019 | Princeton University Press | ||
2019 | Princeton University Press | ||
2019 | Princeton Univ Pr | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
2010 | McGraw-Hill Higher Education | ||||
2001 | Academic Press | ||||
2001 | Elsevier | ||||
2015 | McGraw-Hill Education | ||||
2014 | Springer International Publishing | ||||
2007 | Springer Berlin Heidelberg | ||||
2001 | Springer US | ||||
1994 | Springer US | ||||
2003 | Springer US | ||||
1st ed. 2022 | Springer International Publishing | ||||
1st ed. 2022 | Springer International Publishing | ||||
2001 | Springer US | ||||
2015 | Morgan Kaufmann | ||||
2000 | CRC Press; IEEE Press | ||||
2016 | Oxford University Press | ||||
2022 | Roberto Vitillo | ||||
2019 | Addison-Wesley Professional | ||||
2020 | Packt Publishing Ltd | ||||
2013 | dslbook.org | ||||
2013 | MIT | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |