Tool support for system specification, development and verification
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Wien :
Springer,
c1999
|
| Σειρά: | Advances in computing science,
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περιγραφή τεκμηρίου: | "This volume contains the proceedings of the International Workshop Tool Support for System Specification, Development and Verification organized June 1-4, 1998, in Malente, Germany. |
|---|---|
| Φυσική περιγραφή: | viii, 231 p.; ill.; 25 cm. |
| Βιβλιογραφία: | Includes bibliographical references. |
| ISBN: | 3-211-83282-3 |
| ISSN: | 1433-0113 |