Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing - Geoffrey Burn - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540198420 - perjantai 24. syyskuuta 1993
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing Softcover reprint of the original 1st ed. 1993 edition

Geoffrey Burn

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys

Asiakkaamme sanovat:

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

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 - Workshops in Computing Softcover reprint of the original 1st ed. 1993 edition

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines.

337 pages, 9 black & white illustrations

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 24. syyskuuta 1993
ISBN13 9783540198420
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 329
Mitta 155 × 235 × 18 mm   ·   476 g
Kieli German  
Toimittaja Burn, Geoffrey
Toimittaja Gay, Simon
Toimittaja Ryan, Mark
Näytä kaikki

Lisää tuotteita Geoffrey Burn

Katso kaikki joka sisältää Geoffrey Burn ( Esim. Paperback Book Ja Hardcover Book )