1st Irish Workshop on Formal Methods

Autor*innen

• Gerard ORegan

Parameter

• 7 Seiten
• 1 Lesestunde

• Informatik & Programmierung

Mehr zum Buch

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.

• Sprache: Englisch
• Erscheinungsdatum: 1997
• Einband: Paperback