51. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
52. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiii, 974 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
53. ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /: essays dedicated to Ed Brinksma on the occasion of his 60th birthday. ([2017]) Editors: Katoen, Joost-Pieter; Langerak, Rom (Romanus), 1961-; Rensink, Arend Record Type: Book Extent: 1 online resource (XII, 391 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
54. 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) ↗
55. NASA formal methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. (2016) Editors: Rayadurgam, Sanjai; Tkachuk, Oksana Other Names: NFM (Symposium), 8th Record Type: Book Extent: 1 online resource (xix, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
56. NASA formal methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. (2017) Editors: Barrett, Clark; Davies, Misty; Kahsai, Temesghen Other Names: NFM (Symposium), 9th Record Type: Book Extent: 1 online resource (xi, 436 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
57. Practical UML statecharts in C/C++ : event-driven programming for embedded systems /: event-driven programming for embedded systems. (2008) Other Names: Samek, Miro Record Type: Book Extent: 1 online resource (728 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
58. 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) ↗
59. Recent trends in algebraic development techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers. (2015) Editors: Codescu, Mihai; Diaconescu, Răzvan; Tutu, Ionut Other Names: WADT (Workshop), 22nd Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
60. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017) Editors: James, Phillip (Phillip D.); Roggenbach, Markus Other Names: WADT (Workshop), 23rd Record Type: Book Extent: 1 online resource (x, 223 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗