Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Book title Buchtitel
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ISBN
978-3-662-49673-2
Editor Herausgeber_in
Publisher Verlag
Springer
Place of publishing Erscheinungsort
Berlin, Heidelberg
DOI
10.1007/978-3-662-49674-9
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
9636
Zugriffsart
Schlagwort
Erscheinungsdatum
Publikationstyp
Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).