solr
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III

Katalog WÜ-SW-AB-CO (1/1)

Speichern in:
Anzeige:
 

Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III

Autor/Hrsg.: Beyer, Dirk   , Huisman, Marieke   , Kordon, Fabrice   , Steffen, Bernhard  
Ort: Cham, Switzerland
Verlag: Springer Open
Jahr: [2019]
Umfang: 1 Online-Ressource (xxvii, 258 Seiten)
ISBN: 9783030175023
Schlagwörter: Softwareentwicklung / Systementwicklung / Systemanalyse / Programmverifikation / Hardwareverifikation / Model Checking / Entscheidungsverfahren
Schlagwörter: Programmiersprache / Programmierung / Theoretische Informatik
Open Access Dies ist ein Open Access-Titel.
Volltext anzeigen Übergeordneter Titel
  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Das will ich haben!
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor/Hrsg.: Beyer, Dirk
Autor/Hrsg.: Huisman, Marieke
Autor/Hrsg.: Kordon, Fabrice
Autor/Hrsg.: Steffen, Bernhard
Institution: TACAS (2019, Prag)
Titel: Tools and algorithms for the construction and analysis of systems
Untertitel: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III
Ort: Cham, Switzerland
Verlag: Springer Open
Jahr: [2019]
Jahr: © 2019
Umfang: 1 Online-Ressource (xxvii, 258 Seiten)
Details: Illustrationen, Diagramme
ISBN: 9783030175023
Reihe: Lecture notes in computer science
Reihe: Theoretical computer science and general issues
Band: 11429
Schlagwörter: Softwareentwicklung ; Systementwicklung ; Systemanalyse ; Programmverifikation ; Hardwareverifikation ; Model Checking ; Entscheidungsverfahren
Programmiersprache ; Programmierung ; Theoretische Informatik
Inhaltstyp: Konferenzschrift Aufsatzsammlung
...: 2019
...: Prag
Subject: Logic design Software engineering Computer science Computer industry Computer system performance Computer simulation
RVK-Notation:
Volltext : https://doi.org/10.1007/978-3-030-17502-3
Volltext : https://doabooks.org/doab?func=fulltext&uiLanguage=eng&rid=43529
Bestand Bayern: BV045860468
Produktsigel: ZDB-2-SCS
Produktsigel: ZDB-2-LNC
Produktsigel: ZDB-2-SOB
Produktsigel: ZDB-94-OAB