Books > Computing & IT > General theory of computing
|
Buy Now
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 (Paperback, Softcover reprint of the original 1st ed. 1993)
Loot Price: R1,581
Discovery Miles 15 810
|
|
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 (Paperback, Softcover reprint of the original 1st ed. 1993)
Series: Workshops in Computing
Expected to ship within 10 - 15 working days
|
This volume contains the proceedings of the fIrst 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 mathematical foundations to practical
applications of this theory, expressing the Section's commitment to
both the foundations of computer science, and the application of
theory to real computing problems. In preparing the workshop and
these proceedings, care was taken to ensure that there were papers
overviewing a field, as well as ones whose primary aim was to
present new scientifIc results. This had a dual purpose: to bring
our Section members up to speed in some of the areas being worked
on by the Section; and to provide the reader of the proceedings not
only with a good introduction to many of the specifIc areas being
investigated by the Section, but also with details of some of our
latest results. All the papers presented at the workshop were
revised following comments made by the workshop participants, and
all were subsequently reviewed by at least two people before
producing the fInal versions contained in this volume.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.