solr
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part I

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

Speichern in:
Anzeige:
 

Tools and algorithms for the construction and analysis of systems 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part I

Autor/Hrsg.: Vojnar, Tomáš   , Zhang, Lijun  
Ort: Cham, Switzerland
Verlag: Springer Open
Jahr: [2019]
Umfang: 1 Online-Ressource (xxiii, 433 Seiten)
ISBN: 9783030174620
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 Titelblatt Ü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.: Vojnar, Tomáš
Autor/Hrsg.: Zhang, Lijun
Institution: TACAS (2019, Prag)
Titel: Tools and algorithms for the construction and analysis of systems
Untertitel: 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part I
Ort: Cham, Switzerland
Verlag: Springer Open
Jahr: [2019]
Jahr: © 2019
Umfang: 1 Online-Ressource (xxiii, 433 Seiten)
Details: Illustrationen, Diagramme
ISBN: 9783030174620
Reihe: Lecture notes in computer science
Band: 11427
Fußnote: Literaturangaben
Schlagwörter: Softwareentwicklung ; Systementwicklung ; Systemanalyse ; Programmverifikation ; Hardwareverifikation ; Model Checking ; Entscheidungsverfahren
Programmiersprache ; Programmierung ; Theoretische Informatik
Inhaltstyp: Konferenzschrift Aufsatzsammlung
...: 2019
...: Prag
Subject: Logic design Computer science Software engineering Artificial intelligence Computer system performance Computer industry
RVK-Notation:
Volltext : https://doabooks.org/doab?func=fulltext&uiLanguage=eng&rid=43531
Cover: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031243...
Bestand Bayern: BV045860466
Produktsigel: ZDB-2-SCS
Produktsigel: ZDB-2-LNC
Produktsigel: ZDB-2-SOB
Produktsigel: ZDB-94-OAB