Subject: Computer software -- Testing -- Congresses - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer software -- Testing -- Congresses

1 - 10 of 19

1. Model checking software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. (2015)

Editors:: Fischer, Bernd; Geldenhuys, Jaco
Other Names:: International SPIN Workshop, 22nd
Record Type:: Book
Extent:: 1 online resource (xviii, 319 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

2. Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /: 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. (2016)

Editors:: Bošnački, Dragan, 1963-; Wijs, Anton
Other Names:: International SPIN Workshop, 23rd; ETAPS (Conference), 19th
Record Type:: Book
Extent:: 1 online resource (xvi, 245 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

3. Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. (2018)

Editors:: Gallardo, María del Mar; Merino, Pedro
Other Names:: International SPIN Workshop, 25th
Record Type:: Book
Extent:: 1 online resource (xvi, 347 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

4. Model checking software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings. (2019)

Editors:: Biondi, Fabrizio; Given-Wilson, Thomas; Legay, Axel
Other Names:: International SPIN Workshop, 26th
Record Type:: Book
Extent:: 1 online resource (x, 261 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)

5. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016)

Editors:: Falcone, Yliès; Sánchez, César
Other Names:: RV (Conference), 16th
Record Type:: Book
Extent:: 1 online resource (xxi, 512 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

6. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017)

Editors:: Lahiri, Shuvendu; Reger, Giles
Other Names:: RV (Conference), 17th
Record Type:: Book
Extent:: 1 online resource (xix, 432 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

7. Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. (2018)

Editors:: Colombo, Christian; Leucker, Martin
Other Names:: RV (Conference), 18th
Record Type:: Book
Extent:: 1 online resource (xi, 470 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)

8. Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. (2019)

Editors:: Finkbeiner, Bernd; Mariani, Leonardo
Other Names:: RV (Conference), 19th
Record Type:: Book
Extent:: 1 online resource (x, 413 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)

9. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015)

Editors:: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak
Other Names:: RV (Conference), 6th
Record Type:: Book
Extent:: 1 online resource (xiv, 396 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

10. Software analysis, testing, and evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings /: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings. (2018)

Editors:: Bu, Lei; Xiong, Yingfei
Other Names:: SATE (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (x, 219 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)