Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
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
Engels
125 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Gebonden (paperback)
19.10
€
The Theory and Formal Methods Section of the Imperial College Department of Computing has an international reputation for research into the foundations of computer science, and the application of this theory to real computing problems. In March 1993 it held the first in a proposed series of workshops on theory and formal methods at the Isle of Thorns Conference Centre in Sussex, UK. Almost every member of the section contributed to the workshop, thereby providing comprehensive coverage of the work being done by this important research group. This volume contains revised versions of the papers presented at the workshop. They cover four main areas - semantics, concurrency, logic, and specification - with some papers spanning a variety of disciplines. The papers fall into two main categories: review papers which provide the reader with a good introduction to some of the specific areas being studied by the section, and research papers which give details of the latest results in these areas.
Informatie over het boek
Engels
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (harde band)
102.93
€
/
Gebonden (harde band)
55.20
€
/
Gebonden (paperback)
26.89
€
/
Gebonden (paperback)
22.03
€
/
Gebonden (paperback)
24.16
€
/
Gebonden (paperback)
13.84
€
/
Gebonden (paperback)
26.68
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?