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 II

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 II

Autor/Hrsg.: Vojnar, Tomáš   , Zhang, Lijun  
Ort: Cham, Switzerland
Verlag: Springer Open
Jahr: [2019]
Umfang: 1 Online-Ressource (xxiii, 413 Seiten)
ISBN: 9783030174651
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.: 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 II
Ort: Cham, Switzerland
Verlag: Springer Open
Jahr: [2019]
Jahr: © 2019
Umfang: 1 Online-Ressource (xxiii, 413 Seiten)
Details: Illustrationen, Diagramme
ISBN: 9783030174651
Reihe: Lecture notes in computer science
Band: 11428
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 Software engineering Computer science Computer software Artificial intelligence Computer logic
RVK-Notation:
Volltext : https://doabooks.org/doab?func=fulltext&uiLanguage=eng&rid=43530
Volltext : https://doi.org/10.1007/978-3-030-17465-1
Bestand Bayern: BV045860467
Produktsigel: ZDB-2-SCS
Produktsigel: ZDB-2-LNC
Produktsigel: ZDB-2-SOB
Produktsigel: ZDB-94-OAB