21. Formal methods : foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /: foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. (2018) Editors: Massoni, Tiago; Mousavi, Mohammad Reza, 1978- Other Names: Brazilian Symposium on Formal Methods, 21st Record Type: Book Extent: 1 online resource (x, 271 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017) Editors: Duan, Zhenhua; Ong, Luke Other Names: International Conference on Formal Engineering Methods, 19th Record Type: Book Extent: 1 online resource (xvii, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Formal methods for safety and security : case studies for aerospace applications /: case studies for aerospace applications. (2018) Editors: Nanda, Manju; Jeppu, Yogananda Record Type: Book Extent: 1 online resource (xii, 132 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Formal methods in architecture and urbanism. (2018) Editors: Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira Record Type: Book Extent: 1 online resource (viii, 397 pages), illustrations, plans View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Formal methods in computer science. (2019) Authors: Wang, Jiacun, 1963-; Tepfenhart, William M Record Type: Book Extent: 1 online resource, illustrations (black and white) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. (2016) Editors: Cornelio, Marcio; Roscoe, A. W Other Names: Brazilian Symposium on Formal Methods, 18th Record Type: Book Extent: 1 online resource (xviii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude /: an introduction based on executable modeling in Maude. (2017) Authors: Ölveczky, Peter Csaba Record Type: Book Extent: 1 online resource (250 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗