Beeld op de omslag

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /

Toon andere (2) versies

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

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Beyer, Dirk (Redacteur), Huisman, Marieke (Redacteur), Kordon, Fabrice (Redacteur), Steffen, Bernhard (Redacteur)
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Editie:	1st ed. 2019.
Reeks:	Theoretical Computer Science and General Issues, 11429
Onderwerpen:	Computer science. Software engineering. Machine theory. Computers. Professions. Electronic digital computers > Evaluation. Computer simulation. Computer Science Logic and Foundations of Programming. Software Engineering. Formal Languages and Automata Theory. The Computing Profession. System Performance and Evaluation. Computer Modelling.
Online toegang:	Link to Metadata
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Internet

Link to Metadata

3rd Floor Main Library

Exemplaargegevens van 3rd Floor Main Library
Plaatsingsnummer:	A1234.567
Kopie 1	Beschikbaar