Record Nr.

UNISA990002411590203316

Autore

International SPIN Workshop : <11.; : 2004

Titolo

Model Checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier (Eds.)

Pubbl/distr/stampa


Berlin : Springer, copyr. 2004

ISBN

3-540-21314-7

Descrizione fisica

X,307 p. : ill. ; 24 cm

Collana

Lecture notes in computer Science ; 2989

Disciplina

005.2

Soggetti

Elaboratori elettronici -- Programmazione -- Congressi -- 2004

SPIN -- Congressi -- 2004

Collocazione

001 LNCS/2989

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia