Eintrag weiter verarbeiten
Online-Ressource

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...

Gespeichert in:

Personen und Körperschaften: Vojnar, Tomáš (HerausgeberIn), Zhang, Lijun (HerausgeberIn), TACAS Prag (VerfasserIn), ETAPS (VerfasserIn)
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 II/ edited by Tomáš Vojnar, Lijun Zhang
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Cham Springer [2019]
Gesamtaufnahme: Springer eBooks
Lecture notes in computer science ; 11428
Schlagwörter:
Logics and Meanings of Programs
Computer software
Artificial intelligence
Computer logic
Mathematical logic.
Computer science
Logic design
Software engineering
Algorithms.
Machine theory.
Logic programming.
Konferenzschrift
Verfügbar auch als: Druck-Ausgabe TACAS (25. : 2019 : Prag), Tools and algorithms for the construction and analysis of systems ; Part 2, Cham : Springer, 2019, xxiii, 413 Seiten
Quelle: Verbunddaten SWB
Lizenzfreie Online-Ressourcen
Zugangsinformationen: Elektronischer Volltext - Open Access, Zugang über SpringerLink