71. Process algebra for parallel and distributed processing. (©2009) Other Names: Alexander, Michael, 1970 September 25; Gardner, William, 1952- Record Type: Book Extent: 1 online resource (xxii, 415 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings /: communications of NII Shonan Meetings. ([2021]) Editors: Aït-Ameur, Yamine; Nakajima, Shin; Méry, Dominique Record Type: Book Extent: 1 online resource (xii, 346 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday /: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday. (2019) Editors: Beek, Maurice H. ter; Fantechi, Alessandro; Semini, Laura Other Names: Gnesi, Stefania 1954- honouree. Record Type: Book Extent: 1 online resource (xiii, 574 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. 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) ↗
75. Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015) Editors: Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st Record Type: Book Extent: 1 online resource (xxix, 325 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. (2018) Other Names: Peled, Doron A, 1962-; Vardi, Moshe Y; FORTE 2002 Record Type: Book Extent: 1 online resource (157 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. 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) ↗
78. Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.: FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. Part II (2020) Other Names: Sekerinski, E (Emil), 1963-; Moreira, Nelma; Oliveira, José N; International Symposium of Formal Methods Europe, 23rd Record Type: Book Extent: 1 online resource (575 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 /: selected contributions from FDL 2018. (2020) Other Names: Kaźmierski, Thomas J; Steinhorst, Sebastian; Grosse, Daniel; FDL (Conference) Record Type: Book Extent: 1 online resource (197 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗