Theory and Formal Methods 1993

Theory and Formal Methods 1993

by Geoffrey Burn

Part of Workshops in computing

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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.

Discuss Theory and Formal Methods 1993 with other readers

Join or start a book club for Theory and Formal Methods 1993 on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Theory and Formal Methods 1993?

Sign up free on Readfeed, then browse public clubs or start your own club with Theory and Formal Methods 1993 as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Theory and Formal Methods 1993 with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Theory and Formal Methods 1993 with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.