Buchumschlag

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 /

Weitere Versionen anzeigen (2)

This book is Open Access under a CC BY licence. .

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	SpringerLink (Online service)
Weitere Verfasser:	Vojnar, Tomáš (Herausgegeben von), Zhang, Lijun (Herausgegeben von)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Ausgabe:	1st ed. 2019.
Schriftenreihe:	Theoretical Computer Science and General Issues, 11427
Schlagworte:	Computer science. Machine theory. Software engineering. Artificial intelligence. Electronic digital computers > Evaluation. Computers. Professions. Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Software Engineering. Artificial Intelligence. System Performance and Evaluation. The Computing Profession.
Online-Zugang:	Link to Metadata
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

Link to Metadata

3rd Floor Main Library

Bestandsangaben von 3rd Floor Main Library
Signatur:	A1234.567
Exemplar 1	Verfügbar