Tools and algorithms for the construction and analysis of systems: 5th international conference , TACAS ʹ99 held as part of the Joint European Conferences on theory and practice of software, ETAPS ʹ99 Amsterdam, The Netherlands, March 22-28, 1999 proceedings/
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Berlin:
Springer,
c1999
|
| Series: | Lecture notes in computer science
1579 |
| Subjects: |
| Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
|---|---|---|---|---|
| ΤΕΙ Ανατολικής Μακεδονίας & Θράκης | 004.2 TOO | 1 | Προβολή | OPAC |