|
Computer software -- Reliability
|
2021
Singapore : Springer, [2021]
Rating:
|
2013
Groves, Matthew D
Rating:
|
2006
First edition
Upper Saddle River, NJ : Addison-Wesley, 2006
Rating:
Request It
|
2004
Singapore ; London : World Scientific, [2004]
Rating:
Request It
|
2017
Bisi, Manjubala, author.
Hoboken, NJ : John Wiley & Sons ; Beverly, MA : Scrivener Publishing, 2017
Rating:
|
2011
Paulus, Sachar, author
1. Auflage
Heidelberg : Dpunkt.verlag GmbH, 2011
Rating:
|
2009
Martin, Robert C.
©2009
Rating:
|
2017
Martin, Robert C., on-screen presenter.
[Place of publication not identified] : Addison-Wesley Professional, 2017
Rating:
|
2009
Martin, Robert C., author.
1. Auflage
Heidelberg : Mitp, 2009
Rating:
|
2017
Martin, Robert C., on-screen presenter
[Place of publication not identified] : Addison-Wesley Professional, 2017
Rating:
|
2014
Martin, Robert C
Rating:
|
2014
Martin, Robert C., author.
1. Auflage
Heidelberg : mitp, 2014
Rating:
|
2021
[First edition]
[Place of publication not identified] : Addison-Wesley Professional, 2021
Rating:
|
2016
Blokland, Kees, 1962- author.
Heidelberg : dpunkt.verlag, [2016]
Rating:
|
2005
SAFECOMP (Conference) (24th : 2005 : Fredrikstad, Norway)
Rating:
|
2006
SAFECOMP (Conference)
Rating:
|
2007
SAFECOMP (Conference) (26th : 2007 : Nuremberg, Germany)
Rating:
|
2008
SAFECOMP (Conference) (27th : 2008 : Newcastle on Tyne, Great Britain)
Rating:
|
2009
SAFECOMP 2009 (2009 : Hamburg, Germany)
Rating:
|
2010
SAFECOMP (Conference) (29th : 2010 : Vienna, Austria)
Rating:
|
2012
SAFECOMP 2012 (2012 : Magdeburg, Germany)
Rating:
|
2005
Safety-Critical Systems Symposium (13th : 2005 : Southampton, England)
Rating:
|
2016
Wolff, Eberhard, author.
2., aktualisierte und erweiterte Auflage
Heidelberg : dpunkt. verlag, 2016
Rating:
|
|
2017
Bowersox, Kevin, speaker
[Place of publication not identified] : O'Reilly, [2017]
Rating:
|
2017
Bowersox, Kevin, speaker
[Place of publication not identified] : O'Reilly, [2017]
Rating:
|
2017
Bowersox, Kevin, speaker
[Place of publication not identified] : O'Reilly, [2017]
Rating:
|
2017
Rossel, Sander
Rating:
|
2017
Rossel, Sander, author
Birmingham, UK : Packt Publishing, 2017
Rating:
|
2017
Rossel, Sander, author
Birmingham ; Mumbai : Packt, 2017
Rating:
|
2007
Duvall, Paul M.
Rating:
|
2011
Wiest, Simon
1. Aufl
Rating:
|
2018
Lester, Brent, author
Sebastopol, CA : O'Reilly Media, [2018]
Rating:
|
1999
Kapur, P. K.
Singapore : World Scientific, [1999]
Rating:
Request It
|
2007
Liblit, Ben.
Rating:
|
1998
Collins, Tony, 1955-
London : Simon & Schuster, 1998
Rating:
Request It
|
2016
International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)
Cham : Springer, 2016
Rating:
|
2017
International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.
Cham, Switzerland : Springer, 2017
Rating:
|
2013
EWDC (Workshop) (14th : 2013 : Coimbra, Portugal)
Rating:
|
2017
NATO Advanced Studies Institute on Dependable Software Systems Engineering (2016 : Marktoberdorf, Germany)
Amsterdam, Netherlands : IOS Press, 2017
Rating:
|
2018
Martin, Robert C., on-screen presenter
[Place of publication not identified] : Addison-Wesley Professional, 2018
Rating:
|
2013
Rierson, Leanna
Rating:
|
2017
Rierson, Leanna, author
First edition
Boca Raton, FL : CRC Press, ©[2017]
Rating:
|
2006
Safety-Critical Systems Symposium (14th : 2006 : Bristol, England)
Rating:
|
2011
Feathers, Michael C., author.
[Frechen] : MITP, 2011
Rating:
|
2016
International School on Engineering Trustworthy Software Systems (1st : 2014 : Chongqing, China)
Cham : Springer, 2016
Rating:
|
2018
Neufelder, Ann Marie
Rating:
|
2015
Simpson, Donald, author
Birmingham, UK : Packt Publishing, 2015
Rating:
|
2019
Rathore, Santosh Singh
Singapore : Springer, [2019]
Rating:
|
2007
International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)
Rating:
|
Add Marked to Bag
Add All On Page
|