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

John Fitzgerald

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 2. - 10. heinä
Lisää iMusic-toivelistallesi
Eller

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

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 German  
Toimittaja Fitzgerald, J. (University of Newcastle-upon-tyne)
Toimittaja Jones, C.b.
Toimittaja Lucas, P.

Näytä kaikki

Lisää tuotteita John Fitzgerald