Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science - John Fitzgerald - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540635338 - keskiviikko 3. syyskuuta 1997
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Fme '97: Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997: Proceedings - Lecture Notes in Computer Science

Hinta
SEK 1.119

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Formal methods and mathematically-based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the 35 papers in this volume describe industrial applications, extensions to existing techniques, or case studies.


694 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 3. syyskuuta 1997
ISBN13 9783540635338
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 694
Mitta 156 × 234 × 35 mm   ·   975 g
Kieli Saksa  
Toimittaja Fitzgerald, J. (University of Newcastle-upon-tyne)
Toimittaja Jones, C.b.
Toimittaja Lucas, P.

Näytä kaikki

Lisää tuotteita John Fitzgerald