Formal methods in system design : an international journal

Biblioteca: Biblioteche UniTrento, BUP. Biblioteca Universitaria Povo, via Sommarive 5, Povo di Trento

Cartaceo (e/o DVD, CD-ROM, microfilm, ecc.)

Disponibile dal 1998 al 2007
ISSN: 0925-9856

Online

Testo completo degli articoli dal 1992
ISSN: 1572-8102

Nuova ricerca