Skip to main content
PBS logo
 
 

Search - Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho (Workshops in Computing)

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho (Workshops in Computing)
Theory and Formal Methods 1993 Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods Isle of Tho - Workshops in Computing
Author: Mark Ryan, Simon Gay, England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, Geoffrey Burn
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 T...  more »
ISBN-13: 9780387198422
ISBN-10: 0387198423
Pages: 325
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review