The book is currently out of stock
More about the book
As of 1996, the Workshops in Computing series has been published on-line. This booklet provides the passwords needed to access the papers from the 1st Irish Workshop on Formal Methods. The workshop attracted a global spread of researchers and practitioners and the papers presented cover a wide range of topics within the general area of formal methods, theoretical computer science and mathematics.
Book purchase
1st Irish Workshop on Formal Methods, Gerard ORegan
- Language
- Released
- 1997
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.