Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding - J Van Leeuwen - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540643562 - keskiviikko 18. maaliskuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding

J Van Leeuwen

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ma - ti 22. - 30. syys

Asiakkaamme sanovat:

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

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding

Taken from TACAS'98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.

461 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 18. maaliskuuta 1998
ISBN13 9783540643562
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 461
Mitta 155 × 233 × 24 mm   ·   675 g
Kieli German  
Toimittaja Steffen, Bernhard
Näytä kaikki

Lisää tuotteita J Van Leeuwen

Katso kaikki joka sisältää J Van Leeuwen ( Esim. Paperback Book )