• Tools and Algorithms for the C...
  • Mehr Informationen

Treffer: Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Titel:
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Verantwortlich:
Beyer, Dirk (Verfasser); Huisman, Marieke (Verfasser)
Veröffent­licht:
[Erscheinungsort nicht ermittelbar] : Springer Nature, 2018
Vertrieb:
The Hague : OAPEN FOUNDATION
Umfang:
1 Online-Ressource (429 p.)
Publikationstyp:
E-Book
Sprache:
Englisch
ISBN:
9783319899602 ; 9783319899596 ; 9783319899602
Open Access Rechte:
Open Access

Zusatz-Informationen

Zusatz-Funktionen