|
Computer Software Verification
|
Andrews, Jason R.
Amsterdam ; Boston : Elsevier, ©2005.
2005
Rating:
Axe Elsevier ScienceDirect Ebook
|
Electronic Book |
--- |
Available |
|
Mathaikutty, Deepak A.
Boston ; London : Artech House, c2009.
2009
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Baier, Christel.
Cambridge, Mass. : MIT Press, 2008.
2008
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Bisht, Sumit.
Birmingham : Packt Publishing, 2013.
2013
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Rakitin, Steven R.
Boston : Artech House, c2001.
2001
Rating:
|
Yoeli, Michael, 1917-
Hoboken, N.J. : Wiley-Interscience, c2008.
2008
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Computer Software Verification Congresses
|
Amsterdam, Netherlands : IOS Press, 2015.
2015
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)
Amsterdam ; Washington, D. C. : IOS Press, [2013]
2013
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
Washington, D.C. : IOS Press, 2012.
2012
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)
Amsterdam ; Washington, D.C. : IOS Press, c2006.
2006
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Computer Sound Processing
|
Creasey, D. J. (David J.), author.
New York, New York ; London, [England] : Routledge, 2017.
2017
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Lyon, Eric, 1962- author.
Middleton, Wisconsin : A-R Editions, Inc., [2023]
2023
Rating:
Axe ProQuest E-Book
|
Electronic Book |
--- |
Available |
|
Add Marked to Bag
Add All On Page
|