Explore the latest books of this year!
Bookbot

1st Irish Workshop on Formal Methods

Parameters

  • 7 pages
  • 1 hour of reading

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
product-detail.submit-box.info.binding
(Paperback)
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating