Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for speci...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Σειρά: | Lecture Notes in Computer Science,
4171 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Διαδίκτυο
Full Text via HEAL-LinkΒΚΠ - Πατρα: ALFd
| Ταξιθετικός Αριθμός: |
330.01 BAU |
|---|---|
| Αντίγραφο 1 | Στη βιβλιοθήκη |
ΒΚΠ - Πατρα: BSC
| Ταξιθετικός Αριθμός: |
330.01 BAU |
|---|---|
| Αντίγραφο 2 | Στη βιβλιοθήκη |
| Αντίγραφο 3 | Στη βιβλιοθήκη |
