Tools and Algorithms for the Construction of 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: Proceed - W R Cleaveland - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540657033 - keskiviikko 10. maaliskuuta 1999
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction of 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: Proceed

W R Cleaveland

Hinta
€ 68,49

Tilattu etävarastosta

Arvioitu toimitus pe 20. joulu - ke 1. tammi 2025
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi

Tools and Algorithms for the Construction of 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: Proceed

This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.

468 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 10. maaliskuuta 1999
ISBN13 9783540657033
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 468
Mitta 156 × 234 × 23 mm   ·   648 g
Toimittaja Cleaveland, W. Rance

Katso kaikki joka sisältää W R Cleaveland ( Esim. Paperback Book )