671. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
672. Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings. (2020) Editors: Beyer, Dirk; Zufferey, Damien Record Type: Book Extent: 1 online resource (471 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
673. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016) Editors: Blazy, Sandrine; Chechik, Marsha Other Names: VSTTE (Conference), 8th Record Type: Book Extent: 1 online resource (xiv, 199 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
675. Verified software: theories, tools, and experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers /: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 : revised selected papers. (2016) Editors: Gurfinkel, Arie; Seshia, Sanjit A Other Names: VSTTE (Conference), 7th Record Type: Book Extent: 1 online resource (223 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
676. Virtual worlds as philosophical tools : how to philosophize with a digital hammer /: how to philosophize with a digital hammer. (2015) Authors: Gualeni, Stefano, 1978- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
677. Visual Studio LightSwitch 2015. (2015) Authors: Leung, Tim Record Type: Book Extent: 1 online resource (xxxiii, 853 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
678. Web applications with Elm : functional programming for the Web /: functional programming for the Web. ([2018]) Authors: Loder, Wolfgang Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
679. Web programming with PHP and MySQL : a practical guide /: a practical guide. (2015) Authors: Bramer, M. A (Max A.), 1948- Record Type: Book Extent: 1 online resource (xiii, 388 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
680. Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. (2016) Editors: Hildebrandt, Thomas; Ravara, António; Werf, Jan Martijn van der; Weidlich, Matthias Other Names: WS-FM (Workshop), 11th; International Symposium on Web Services, Formal Methods and Behavioural Types Record Type: Book Extent: 1 online resource (xvii, 167 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗