Limit search to available items
Result Page   1 2 Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-50 of 52)
Computer software -- Verification.
1
E-book
2013

Assurances for self-adaptive systems : principles, models, and techniques



Berlin ; New York : Springer, [2013]

Rating:

 
 
2
E-book
2018

Automated validation & verification of UML/OCL models using satisfiability solvers


Przigoda, Nils, author
Cham : Springer, [2018]

Rating:

 
 
3
E-book
2005

Co-verification of hardware and software for ARM SoC design


Andrews, Jason R.
Amsterdam ; Boston : Elsevier, [2005]

Rating:

 
 
4
E-book
2016

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs


Herdt, Vladimir, author
Wiesbaden : Springer Vieweg, 2016

Rating:

 
 
6
E-book
2015

Correct software in web applications and web services



Cham : Springer, 2015

Rating:

 
 
7
Book
2009

Data flow analysis : theory and practice


Khedker, Uday.
Boca Raton, FL : CRC Press/Taylor & Francis, [2009]

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  006.3 Khe/Dfa  AVAILABLE
 MELB  006.3 Khe/Dfa  AVAILABLE
 W'PONDS  006.3 Khe/Dfa  AVAILABLE
8
E-book
2010

Debugging at the electronic system level


Rogin, Frank.
Dordrecht ; New York : Springer, [2010]

Rating:

 
 
10
E-book
2017

Embedded software verification and debugging



New York, NY : Springer, 2017

Rating:

 
 
11
E-book
2013

Enterprise OSGi in action


Cummins, Holly.
Shelter Island, N.Y. : Manning Publications, [2013]

Rating:

 
 
12
E-book
2013

Explore it! : reduce risk and increase confidence with exploratory testing


Hendrickson, Elisabeth
Dallas, Texas : The Pragmatic Bookshelf, 2013

Rating:

 
 
13
E-book
2013

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und fehler aufdecken


Hendrickson, Elisabeth, author
Heidelberg, Germany : Dpunkt.verlag, 2013

Rating:

 
 
15
E-book
2018

Formal system verification : state-of the-art and future trends



Cham, Switzerland : Springer, [2018]

Rating:

 
 
16
E-book
2016

Formal verification of Simulink/Stateflow diagrams : a deductive approach


Zhan, Naijun, author
Cham, Switzerland : Springer, [2016]

Rating:

 
 
17
E-book
2013

Gradle beyond the basics


Berglund, Tim.
Sebastopol, CA : O'Reilly, [2013]

Rating:

 
 
18
E-book
2013

Gradle : Ein kompakter Einstieg in modernes Build-Management


Baumann, Joachim.
Heidelberg : Dpunkt.verlag, 2013

Rating:

 
 
19
E-book
2014

Gradle in action


Muschko, Benjamin.
Shelter Island, NY : Manning, [2014]

Rating:

 
 
20
E-book
 

Industrial used of formal method : formal verification



London : ISTE ; Hoboken, NJ : Wiley

Rating:

 
 
21
E-book
2015

Introducing Gradle


Varanasi, Balaji
[Berkeley, CA] : Apress, [2015]

Rating:

 
 
22
E-book
2009

Metamodeling-driven IP reuse for SoC integration and microprocessor design


Mathaikutty, Deepak A.
Boston : Artech House, [2009]

Rating:

 
 
23
Book
2006

Methods and procedures for the verification and validation of artificial neural networks



New York, NY : Springer Science + Business Media, [2006]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  006.32 Tay/Map  AVAILABLE
24
E-book
2006

Methods and procedures for the verification and validation of artificial neural networks



New York, NY : Springer Science + Business Media, [2006]

Rating:

 
 
25
Book
2001

The modelling and analysis of security protocols : the CSP approach


Ryan, Peter, PhD.
Harlow, England : Addison-Wesley, 2001

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.8 Rya/Maa  AVAILABLE
26
E-book
2001

The modelling and analysis of security protocols : the CSP approach


Ryan, Peter, PhD.
Harlow, England ; New York : Addison-Wesley, 2001

Rating:

 
 
27
E-book
2009

Open verification methodology cookbook


Glasser, Mark.
London ; New York : Springer Verlag, 2009

Rating:

 
 
28
E-book
2008?

Principles of model checking


Baier, Christel.
Cambridge, Mass. : MIT Press, [2008?]

Rating:

 
 
29
E-book
2008

Principles of the Spin model checker


Ben-Ari, M., 1948-
London : Springer, [2008]

Rating:

 
 
30
E-book
2017

Provably correct systems



Cham, Switzerland : Springer, 2017

Rating:

 
 
31
E-book
2011

Rigorous software development : an introduction to program verification



London ; New York : Springer, [2011]

Rating:

 
 
32
E-book
2010

The software audit guide


Helgeson, John W., 1945-
Milwaukee, Wis. : ASQ Quality Press, [2010]

Rating:

 
 
33
E-book
2017

Software engineering : specification, implementation, verification


Alagić, Suad, 1946- author
Cham : Springer, 2017

Rating:

 
 
34
E-book
2014

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant


Spillner, Andreas, author
Santa Barbara, CA : Rocky Nook, ©2014

Rating:

 
 
35
E-book
2009

Software verification and analysis : an integrated, hands-on approach


Łaski, Janusz.
London ; New York : Springer, [2009]

Rating:

 
 
36
Book
1997

Software verification and validation : a practitioner's guide


Rakitin, Steven R.
Boston : Artech House, [1997]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Rak/Sva  AVAILABLE
37
E-book
2007

Software verification and validation : an engineering and scientific approach


Fisher, Marcus S
New York ; London : Springer, [2007]

Rating:

 
 
38
E-book
2010

Specification and verification of multi-agent systems



New York : Springer, [2010]

Rating:

 
 
39
E-book
2011

Specification by example : how successful teams deliver the right software


Adzic, Gojko.
Shelter Island, N.Y. : Manning, [2011]

Rating:

 
 
40
E-book
2009

Test pattern generation using boolean proof engines



Dordrecht : Springer, [2009]

Rating:

 
 
41
E-book
2010

Time for verification : essays in memory of Amir Pnueli



Berlin ; New York : Springer, [2010]

Rating:

 
 
42
E-book
2008

TMap Next : ein praktischer Leitfaden für ergebnisorientiertes Softwaretesten



Heidelberg : Dpunkt.verlag, [2008]

Rating:

 
 
43
E-book
2016

Transactions on foundations for mastering change.



Cham, Switzerland : Springer, 2016

Rating:

 
 
44
Book
2005

Verification and validation for quality of UML 2.0 models


Unhelkar, Bhuvan.
Hoboken, NJ : John Wiley & Sons, 2005

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.177 Uml Unh/Vav  AVAILABLE
45
E-book
2005

Verification and validation for quality of UML 2.0 models


Unhelkar, Bhuvan.
Hoboken, NJ : John Wiley, 2005

Rating:

 
 
46
 
47
Book
2000

Verification and validation of modern software-intensive systems


Schulmeyer, G. Gordon.
Upper Saddle River, NJ : Prentice Hall, [2000]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Sch/Vav  AVAILABLE
48
Book
2007

Verification of object-oriented software : the KeY approach


Beckert, Bernhard.
Berlin ; [London] : Springer, [2007]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.14 Bec/Voo  AVAILABLE
49
E-book
2007

Verification of object-oriented software : the KeY approach



Berlin ; New York : Springer, [2007]

Rating:

 
 
50
E-book
2009

Verification of sequential and concurrent programs


Apt, Krzysztof R., 1949-
Dordrecht ; New York : Springer, [2009]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results
Result Page   1 2 Next