|
1.
|
Verification of sequential and concurrent programs
by Apt, Krzysztof R | Olderog, Ernst-Rudiger. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
|
|
2.
|
Verification and validation for quality of UML 2.0 models
by Unhelkar, Bhuvan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 005.14 UNH] (1).
|
|
3.
|
Economics of software quality
by Jones, Capers | Bonsignour, Olivier. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Upper Saddle River: Addison-Wesley, 2011Availability: Items available for loan: [Call number: 005.14 JON] (1).
|
|
4.
|
Software verification and validation : an engineering and scientific approach
by Fisher, Marcus S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2007Availability: Items available for loan: [Call number: 005.14 FIS] (1).
|
|
5.
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by Yoeli, Michael | Kol, Rakefet. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley-Interscience, 2008Availability: Items available for loan: [Call number: 621.381548 YOE] (1).
|
|
6.
|
Concurrency verification : introduction to compositional and noncompositional methods.
by De Roever, Willem-Paul. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2001Availability: Items available for loan: [Call number: 004.35 ROE] (1).
|
|
7.
|
Data flow analysis : theory and practice
by Khedker, Uday | Karkare, Bageshri | Sanyal, Amitabha. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2009Availability: Items available for loan: [Call number: 004.35 KHE] (1).
|
|
8.
|
Verification, validation and testing in software engineering
by Dasso, Aristides | Funes, Ana. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hershey: Idea Group Pub., 2007Availability: Items available for loan: [Call number: 005.14 DAS] (1).
|
|
9.
|
Software and systems safety : specification and verification
by Broy, Manfred | Hoare, Tony | Leuxner, Christian | NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 005.8 BRO] (1).
|
|
10.
|
Principles of the Spin model checker
by Ben-Ari, Mordechai. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 005.14 BEN] (1).
|
|
11.
|
Software verification and analysis : an integrated, hands-on approach
by Laski, Janusz | Stanley, William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 005.14 LAS] (1).
|
|
12.
|
Logics and analyses for concurrent heap-manipulating programs
by Gotsman, Alexey. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: British Computer Society, 2009Availability: Items available for loan: [Call number: 005.14 GOT] (1).
|
|
13.
|
Systems and software verification : model-checking techniques and tools
by Berard, Beatrice. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 005.14 BER] (1).
|