Tools and algorithms for the construction and analysis of systems: 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 ; proceedings
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2010
Schriftenreihe:Lecture notes in computer science 6015 : Advanced research in computing and software science
Schlagworte:
Online-Zugang:Volltext
Beschreibung:Literaturangaben
Beschreibung:1 Online-Ressource (XVI, 468 S.) graph. Darst.
ISBN:9783642120015
9783642120022
DOI:10.1007/978-3-642-12002-2

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen