Tools and algorithms for the construction and analysis of systems ; Part 1 (Englisch)
- Neue Suche nach: TACAS
- Weitere Informationen zu TACAS:
- http://d-nb.info/gnd/1184809712
- Neue Suche nach: ETAPS
- Weitere Informationen zu ETAPS:
- http://d-nb.info/gnd/1183926626
- Neue Suche nach: Vojnar, Tomáš
- Neue Suche nach: Zhang, Lijun
- Neue Suche nach: TACAS
- Weitere Informationen zu TACAS:
- http://d-nb.info/gnd/1184809712
- Neue Suche nach: ETAPS
- Weitere Informationen zu ETAPS:
- http://d-nb.info/gnd/1183926626
2019
-
ISBN:
- Konferenzband / Print
-
Titel:Tools and algorithms for the construction and analysis of systems ; Part 1
-
Beteiligte:Vojnar, Tomáš ( Herausgeber:in ) / Zhang, Lijun ( Herausgeber:in ) / TACAS ( Autor:in ) / ETAPS ( Autor:in )
-
Kongress:TACAS ; 25 ; 2019 ; Prague
International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; 25 ; 2019 ; Prague
ETAPS ; 22 ; 2019 ; Prague
European Joint Conference on Theory and Practice of Software ; 22 ; 2019 ; Prague -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2019
-
Format / Umfang:xxiii, 433 Seiten
-
Anmerkungen:Diagramme
-
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 00B25 / 68Qxx / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 54.50
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle: