Home > Formal Techniques in Software Engineering: Correct Software and Safe Systems
"Formal Techniques in Software Engineering: Correct Software and Safe Systems" - similar Books and Chapters
Showing 1 to 20 of 100 entries
| Book | Author(s) | Year | Publisher |
1993 | Springer London | ||
1991 | QED Technical Pub. Group | ||
2008 | Springer Netherlands | ||
1976 | Online Conferences | ||
1990 | Wiley | ||
1997 | Springer-Verlag Berlin Heidelberg | ||
1988 | Pitman | ||
1997 | Springer Berlin Heidelberg | ||
2014 | Springer Berlin Heidelberg | ||
2009-01 | Cambridge University Press | ||
1990 | Springer Netherlands | ||
1990 | Elsevier Applied Science | ||
2013 | IOS Press;published in cooperation with NATO Emerging Security Challenges Division | ||
2016 | Ios Pr Inc; IOS Press | ||
2007 | World Scientific Publishing Company | ||
2010 | Springer Netherlands | ||
2009 | McGraw-Hill Osborne Media | ||
2019 | Wiley-IEEE Press | ||
1993 | Springer US | ||
2012 | Routledge | ||
| Boook | Author(s) | Year | Publisher |
Showing 1 to 20 of 100 entries
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |
2007 | Springer Berlin Heidelberg | ||||
2001 | Springer Berlin Heidelberg | ||||
2019 | Wiley-IEEE Press | ||||
2019 | IOS Press | ||||
1st ed. 2016 | Springer International Publishing | ||||
2015 | Routledge | ||||
2nd ed. 2017 | Springer US | ||||
2010 | Springer US | ||||
2009 | Information Science Reference | ||||
2020 | John Wiley & Sons | ||||
2001 | Wiley-IEEE Press | ||||
2005 | Springer Berlin Heidelberg | ||||
2004 | Springer Berlin Heidelberg | ||||
[2004], ©2004. | Association for Computing Machinery, | ||||
2013 | Springer Berlin Heidelberg | ||||
2013 | Springer-Verlag Berlin Heidelberg | ||||
2013 | Springer-Verlag Berlin Heidelberg | ||||
1st ed. 2017 | Springer International Publishing | ||||
1994 | Springer Berlin Heidelberg | ||||
2019 | Routledge | ||||
| Chapter | Author(s) | Book | Book Authors | Year | Publisher |