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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540198420 - 24. september 1993
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 3. - 9. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 24. september 1993
ISBN13 9783540198420
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 329
Mål 155 × 235 × 18 mm   ·   476 g
Sprog Tysk  
Klipper/redaktør Burn, Geoffrey
Klipper/redaktør Gay, Simon
Klipper/redaktør Ryan, Mark
Vis alle

Mere med Geoffrey Burn

Se alt med Geoffrey Burn ( f.eks. Paperback Bog og Hardcover bog )