Results
|
|
1.
|
|
Image from Amazon.com
|
|
|
|
2.
|
|
|
Computers in languge research formal methods by
Material type:  Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: N.Y Mouton 1979
Availability: Items available for loan: Arts Library (1)Collection, call number: P:(D65,8(B)) L9.
star rating
Average : 0.0 out of 5 stars
|
|
|
3.
|
|
Image from Amazon.com
|
Concise Guide to Formal Methods by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
4.
|
|
Image from Amazon.com
|
|
|
|
5.
|
|
Image from Amazon.com
|
|
|
|
6.
|
|
Image from Amazon.com
|
FM 2016: Formal Methods by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
7.
|
|
Image from Amazon.com
|
Formal Methods by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
8.
|
|
Image from Amazon.com
|
Formal Methods by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
9.
|
|
Image from Amazon.com
|
Formal Methods by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
10.
|
|
|
|
|
|
11.
|
|
|
|
|
|
12.
|
|
|
|
|
|
13.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
14.
|
|
Image from Amazon.com
|
Formal Methods – Fun for Everybody by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
15.
|
|
Image from Amazon.com
|
Formal Methods – The Next 30 Years by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
16.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
17.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
18.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
19.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
20.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
21.
|
|
Image from Amazon.com
|
|
|
|
22.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
23.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
24.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
25.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
26.
|
|
Image from Amazon.com
|
Formal Methods for Industrial Critical Systems by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
27.
|
|
Image from Amazon.com
|
Formal Methods for Nonmonotonic and Related Logics by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
28.
|
|
Image from Amazon.com
|
Formal Methods for Nonmonotonic and Related Logics by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
29.
|
|
Image from Amazon.com
|
Formal Methods for Software Engineering by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
30.
|
|
Image from Amazon.com
|
|
|
|
31.
|
|
Image from Amazon.com
|
Formal Methods in Architecture by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
32.
|
|
|
Formal methods in artificial intelligence by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M8.
star rating
Average : 0.0 out of 5 stars
|
|
|
33.
|
|
Image from Amazon.com
|
Formal methods in computer science by Series: Textbooks in mathematics
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Boca Raton CRC Press 2020
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) R0.
star rating
Average : 0.0 out of 5 stars
|
|
|
34.
|
|
Image from Amazon.com
|
Formal Methods in Outer Space by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
35.
|
|
|
Formal methods in the methodology of empirical sciences. by Series: Synthese library
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Holland D Reidel Publishing 1976
Availability: Items available for loan: South Campus Library (1)Collection, call number: R:(A)p1,N74 L6.
star rating
Average : 0.0 out of 5 stars
|
|
|
36.
|
|
|
Formal methods of program verification and specification by
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: New Jersey Prentice Hall 1982
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M2.
star rating
Average : 0.0 out of 5 stars
|
|
|
37.
|
|
Image from Amazon.com
|
Formal Methods Teaching by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
38.
|
|
Image from Amazon.com
|
Formal Methods Teaching by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2019
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
39.
|
|
|
|
|
|
40.
|
|
|
Formal methods: An introduction to symbolic logic ... by Series: Synthese library
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Dordrecht-Holland D. Reidel Pub. Co.
Availability: Items available for loan: Arts Library (1)Collection, call number: R14 K2;2.
star rating
Average : 0.0 out of 5 stars
|
|
|
41.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2022
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
42.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2021
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
43.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
44.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2018
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
45.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2017
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
46.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
47.
|
|
Image from Amazon.com
|
Formal Methods: Foundations and Applications by
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2016
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
48.
|
|
|
Formal methods. by Series: Synthese library
Material type: Text; Format:
print
regular print
; Literary form:
Not fiction
Language: English
Publication details: Holland D Reidel Publishing 1962
Availability: Items available for loan: South Campus Library (1)Collection, call number: R14 K2.
star rating
Average : 0.0 out of 5 stars
|
|
|
49.
|
|
Image from Amazon.com
|
Formal Methods. FM 2019 International Workshops by - Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
|
|
50.
|
|
Image from Amazon.com
|
Formal Methods. FM 2019 International Workshops by - Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Material type: Text; Format:
print
Language: English
Publication details: Springer ; Springer ; 2020
Availability: Items available for loan: Central Library (1).
star rating
Average : 0.0 out of 5 stars
|
