|
|
1.
|
Way of Z : practical programming with formal methods
by Jacky, Jonathan. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge Cambridge University Press 1997Availability: Items available for loan: [Call number: 005.12 JAC] (1).
|
|
|
2.
|
Computer-aided reasoning : an approach
by Kaufmann, Matt | Manolios, Panagiotis | Moore, J Strother. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 2000Availability: Items available for loan: [Call number: 004.0151 KAU] (1).
|
|
|
3.
|
Modern formal methods and applications
by Gabbar, Hossam A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004 GAB] (1).
|
|
|
4.
|
Industrial-strength formal methods in practice
by Bowen, Jonathan P | Hinchey, Michael G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 1999Availability: Items available for loan: [Call number: 005.131 HIN] (1).
|
|
|
5.
|
Constructing correct software
by Cooke, John. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.1 COO] (1).
|
|
|
6.
|
Agent technology from a formal perspective
by Rouff, Christopher A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 ROU] (1).
|
|
|
7.
|
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
by Kreowski, Hans-Jorg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 KRE] (1).
|
|
|
8.
|
Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
|
9.
|
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science
by Brinksma, Ed | Hermanns, Holger | Katoen, Joost-Pieter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 BRI] (1).
|
|
|
10.
|
Automated Theorem Proving in Software Engineering
by Schumann, Johann M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 005.1 SCH] (1).
|
|
|
11.
|
Object-oriented systems analysis and design using UML
by Bennett, Simon | Farmer, Ray | McRobb, Simon. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: McGraw-Hill, 2002Availability: Items available for loan: [Call number: 005.117 BEN] (4).
|
|
|
12.
|
Principle of cyber-physical systems
by Alur, Rajeev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2015Availability: Items available for loan: [Call number: 006.22 ALU] (1).
|
|
|
13.
|
Formal specification using Z.
by Lightfoot, David. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basingstoke: Palgrave, 2001Availability: Items available for loan: [Call number: 005.133 LIG] (1).
|
|
|
14.
|
Formal software development : from VDM to Java
by Charatan, Quentin | Kans, Aaron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Palgrave Macmillan, 2004Availability: Items available for loan: [Call number: 005.1 CHA] (1).
|
|
|
15.
|
Teamwork in multi agent systems : a formal approach
by Dunin-Keplicz, Barbara | Verbrugge, Rineke. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Chichester: John Wiley & Sons, 2010Availability: Items available for loan: [Call number: 006.3 DUN] (1).
|
|
|
16.
|
Process algebra for parallel and distributed processing
by Alexander, Michael | Gardner, William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2009Availability: Items available for loan: [Call number: 004.0151 ALE] (1).
|
|
|
17.
|
Software specification methods
by Habrias, Henri | Frappier, Marc. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: ISTE Ltd, 2006Availability: Items available for loan: [Call number: 004.0151 HAB] (1).
|
|
|
18.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
|
19.
|
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
by Bogliolo, Alessandro | Bernardo, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
|
20.
|
Correctness-by-Construction Approach to Programming
by Kourie, Derrick G | Watson, Bruce W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2012Availability: Items available for loan: [Call number: 005.1 KOU] (1).
|
