1st Irish Workshop on Formal Methods

Autori

• Gerard ORegan

Parametri

• Computer, IT, programmazione
• Electronic Workshops in Computing

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 1997

(In brossura)