|
|
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.
|
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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
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).
|
|
|
10.
|
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).
|
|
|
11.
|
Formal techniques for networked and distributed systems - FORTE 2002
by Peled, Doron A | Vardi, Moshe Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 PEL] (1).
|
