Geoffrey Burn & Simon Gay 
Theory and Formal Methods 1993 [PDF ebook] 
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

Wsparcie

This volume contains the proceedings of the f Irst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: * semantics * concurrency * logic * specification with some papers spanning a number of disciplines. The subject material varies from work on mathematic...

czytaj więcej
€57.65
Metody Płatności
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● ISBN 9781447135036 ● Redaktor Geoffrey Burn & Simon Gay ● Wydawca Springer London ● Opublikowany 2012 ● Do pobrania 3 czasy ● Waluta EUR ● ID 4628805 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

16 603 Ebooki w tej kategorii