41. 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) ↗
42. 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) ↗
43. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. (2017) Editors: Polikarpova, Nadia; Schneider, S. A (Steve A.) Other Names: International Conference on Integrated Formal Methods, 13th Record Type: Book Extent: 1 online resource (xxi, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. It's all about coordination : essays to celebrate the lifelong scientific achievements of Farhad Arbab /: essays to celebrate the lifelong scientific achievements of Farhad Arbab. ([2018]) Editors: Boer, Frank S. de; Bonsangue, Marcello M; Rutten, J. J. M. M Other Names: Arbab, F (Farhad) honouree. Record Type: Book Extent: 1 online resource (xii, 244 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
46. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2013 /: selected contributions from FDL 2013. ([2015]) Editors: Louërat, Marie-Minerve; Maehne, Torsten Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (xxxiv, 305 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
47. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014 /: selected contributions from FDL 2014. (2016) Editors: Oppenheimer, Frank; Pasaje, Julio Luis Medina Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
48. Languages, design methods, and tools for electronic system design : selected contributions from FDL 2015 /: selected contributions from FDL 2015. (2016) Editors: Drechsler, Rolf; Wille, Robert Other Names: FDL (Conference) Record Type: Book Extent: 1 online resource (viii, 193 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
49. 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) ↗
50. Lectures on runtime verification : introductory and advanced topics /: introductory and advanced topics. (2018) Editors: Bartocci, Ezio; Falcone, Yliès Record Type: Book Extent: 1 online resource (VII, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗