Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal aspects of computing
| 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
| 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 | ||
| ||
Soggetto topico
- Computer science (2)
- Computers (2)
- Formale Methode (2)
- Formale Sprache (2)
-
Formele talen
(2)
