Formal aspects of computing |
Pubbl/distr/stampa | London, : Springer Verlag |
Descrizione fisica | 1 online resource |
Disciplina | 004.05 |
Soggetto topico |
Computer science
Informatique Computers Formale Methode Systementwicklung Theoretische Informatik Zeitschrift Online-Ressource Formale Sprache Programmeren (computers) Formele talen |
Soggetto genere / forma |
Periodicals.
Zeitschrift Online-Publikation |
Soggetto non controllato | Computers |
ISSN | 1433-299X |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Formal aspects of computing : applicable formal methods |
Record Nr. | UNISA-996211823103316 |
London, : Springer Verlag | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal aspects of computing |
Pubbl/distr/stampa | London, : Springer Verlag |
Descrizione fisica | 1 online resource |
Disciplina | 004.05 |
Soggetto topico |
Computer science
Informatique Computers Formale Methode Systementwicklung Theoretische Informatik Zeitschrift Online-Ressource Formale Sprache Programmeren (computers) Formele talen |
Soggetto genere / forma |
Periodicals.
Zeitschrift Online-Publikation |
Soggetto non controllato | Computers |
ISSN | 1433-299X |
Formato | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti | Formal aspects of computing : applicable formal methods |
Record Nr. | UNINA-9910138888203321 |
London, : Springer Verlag | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|