Het boek is momenteel niet op voorraad

Meer over het boek
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.
Een boek kopen
1st Irish Workshop on Formal Methods, Gerard ORegan
- Taal
- Jaar van publicatie
- 1997
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.