Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Σειρά: | Lecture Notes in Computer Science,
6463 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
| Φυσική περιγραφή: | XI, 145 p. 30 illus. online resource. |
|---|---|
| ISBN: | 9783642171727 |
| ISSN: | 0302-9743 ; |
