Search Results - RV (Conference)
- Showing 1 - 14 results of 14
-
1
Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by RV (Conference) Online), SpringerLink (Online service)
Published: Springer, 2020“…RV (Conference) Online)…”Description: 1 online resource (xix, 538 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
2
Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings by RV (Conference) Online), SpringerLink (Online service)
Published: Springer, 2021“…RV (Conference) Online)…”Description: 1 online resource : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
3
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers by RV (Conference) Istanbul, Turkey), SpringerLink (Online service)
Published: Springer, 2013“…RV (Conference) Istanbul, Turkey)…”Description: 1 online resource.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings by RV (Conference) Rennes, France), SpringerLink (Online service)
Published: Springer, 2013“…RV (Conference) Rennes, France)…”Description: 1 online resource (xvii, 426 pages).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
5
Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings by RV (Conference) Toronto, Ontario), SpringerLink (Online service)
Published: Springer, 2014“…RV (Conference) Toronto, Ontario)…”Description: 1 online resource (xviii, 358 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
6
Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings by RV (Conference) Vienna, Austria), SpringerLink (Online service)
Published: Springer, 2015“…RV (Conference) Vienna, Austria)…”Description: 1 online resource (xiv, 396 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
7
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings by RV (Conference) Madrid, Spain), SpringerLink (Online service)
Published: Springer, 2016“…RV (Conference) Madrid, Spain)…”Description: 1 online resource (xxi, 512 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
8
Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings by RV (Conference) Seattle, Wash.), SpringerLink (Online service)
Published: Springer, 2017“…RV (Conference) Seattle, Wash.)…”Description: 1 online resource (xix, 432 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
9
Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings by RV (Conference) Limassol, Cyprus), SpringerLink (Online service)
Published: Springer, 2018“…RV (Conference) Limassol, Cyprus)…”Description: 1 online resource (xi, 470 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
10
Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings by RV (Conference) Porto, Portugal), SpringerLink (Online service)
Published: Springer, 2019“…RV (Conference) Porto, Portugal)…”Description: 1 online resource (x, 413 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
11
Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings by RV (Conference) Thessalonikē, Greece), SpringerLink (Online service)
Published: Springer, 2023“…RV (Conference) Thessalonikē, Greece)…”Description: 1 online resource (xi, 490 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
12
Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings by RV (Conference) San Ġiljan, Malta), SpringerLink (Online service)
Published: Springer, 2010“…RV (Conference) San Ġiljan, Malta)…”Description: 1 online resource (xiii, 492 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
13
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers by RV (Conference) San Francisco, Calif.), SpringerLink (Online service)
Published: Springer, 2012“…RV (Conference) San Francisco, Calif.)…”Description: 1 online resource (xii, 458 pages).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
14
Runtime verification : 22nd international conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, proceedings by RV (Conference) Tʻbilisi, Georgia : Online), SpringerLink (Online service)
Published: Springer, 2022“…RV (Conference) Tʻbilisi, Georgia : Online)…”Description: 1 online resource (xii, 347 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook
Search Tools:
Related Subjects
Formal methods (Computer science)
Computer software Testing
Computer software Verification
Algorithms
Artificial intelligence
Computer logic
Computer programs
Computer programs Testing
Computer programs Verification
Computer science
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Software engineering