41. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017) Editors: (Post doc researcher), Proença, José; Lumpe, Markus Other Names: FACS (Symposium), 14th Record Type: Book Extent: 1 online resource (x, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017) Editors: Cavalheiro, Simone; Fiadeiro, José Luiz, 1961- Other Names: Brazilian Symposium on Formal Methods, 20th Record Type: Book Extent: 1 online resource (x, 305 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018) Editors: Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de Other Names: International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference Record Type: Book Extent: 1 online resource (xiv, 692 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. (2018) Editors: Dutle, Aaron Michael; Muñoz, César A, 1968-; Narkawicz, Anthony Joseph, 1982- Other Names: NFM (Symposium), 10th Record Type: Book Extent: 1 online resource (xi, 470 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers. (2015) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 4th Record Type: Book Extent: 1 online resource (viii, 189 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings. (2015) Editors: Baixeries, Jaume; Sacarea, Christian; Ojeda-Aciego, Manuel, 1967- Other Names: International Conference on Formal Concept Analysis, 13th Record Type: Book Extent: 1 online resource (xii, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /: 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. (2016) Editors: De Nicola, Rocco; Kühn, Eva Other Names: International Conference on Software Engineering and Formal Methods, 14th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xv, 419 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings. (2015) Editors: Shallit, Jeffrey Outlaw; Okhotin, Alexander Other Names: DCFS (Workshop), 17th Record Type: Book Extent: 1 online resource (xii, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. Concise guide to formal methods : theory, fundamentals and industry applications /: theory, fundamentals and industry applications. (2017) Authors: O'Regan, Gerard (Cornelius Gerard) Record Type: Book Extent: 1 online resource (xix, 312 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) Authors: Russinoff, David, 1948- Record Type: Book Extent: 1 online resource (xxiv, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗