Record Nr.

UNISA996209729203316

Titolo

2009 Fourth South-East European Workshop on Formal Methods

Pubbl/distr/stampa


[Place of publication not identified], : IEEE, 2009

ISBN

0-7695-3943-2

Disciplina

004.6/54

Soggetti

Formal methods (Computer science)

Service-oriented architecture (Computer science)

Engineering & Applied Sciences

Computer Science

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph