Vinkkaa tuotetta kavereillesi:
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (International Conference, Cav '95, Liege, Belguim, July 3-5, 1995 - Proceedings) - Lecture Notes in Computer Science
G Goos
Hinta
Íkr 10.096,90
Tilattu etävarastosta
Arvioitu toimitus ke - pe 22. - 31. touko
Lisää iMusic-toivelistallesi
Computer Aided Verification: 7th International Conference, Cav '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (International Conference, Cav '95, Liege, Belguim, July 3-5, 1995 - Proceedings) - Lecture Notes in Computer Science
G Goos
This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.
456 pages, biography
Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 21. kesäkuuta 1995 |
ISBN13 | 9783540600459 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 456 |
Mitta | 156 × 234 × 23 mm · 648 g |
Toimittaja | Wolper, Pierre |