Subject: Compilers (Computer programs) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Compilers (Computer programs)

21. 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) ↗

22. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017)

Editors:: Paskevich, Andrei; Wies, Thomas
Other Names:: VSTTE (Conference), 9th
Record Type:: Book
Extent:: 1 online resource (xiii, 211 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗