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 (Englisch)
Freier Zugriff
- 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 / Elektronische Ressource
-
Titel: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
-
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:1 Online-Ressource (XXIII, 433 p. 1251 illus., 61 illus. in color)
-
ISBN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 00B25 / 68Qxx / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 004.0151 / 005.1015113
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 54.50
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:Computer industry , Computers. , Electronic digital computers , Professions. , Computer science , Machine theory. , Electronic digital computers—Evaluation. , Logic design , Computer system failures. , Logics and Meanings of Programs , Mathematical logic. , Software engineering , Computer system performance , Computer logic. , Artificial intelligence
-
Klassifikation:
-
Datenquelle: