Monografie
Tools and algorithms for the construction and analysis of systems : 16th International Conference ; proceedings
- Language
-
Englisch
- Extent
-
XVI, 468 S.
- ISBN
-
978-3-642-12001-5
- Identifier
-
1000251993
- Series
-
Lecture notes in computer science; 6015 : Advanced research in computing and software science
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
15.04.2024, 8:50 AM CEST
Object type
- Monografie