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 |
| 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 | ||
| ||
Theory of computing systems
| Theory of computing systems |
| Pubbl/distr/stampa | New York, NY, : Springer, ©1997- |
| Soggetto topico |
Computer science
Computers Computer Science Systemtheorie Theoretische Informatik Zeitschrift Online-Ressource Analyse de systèmes |
| Soggetto genere / forma |
Computer network resources.
Periodicals. Zeitschrift Online-Publikation |
| ISSN | 1433-0490 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | TOCS |
| Record Nr. | UNINA-9910145992803321 |
| New York, NY, : Springer, ©1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Computer science (3)
- Computers (3)
- Online-Ressource (3)
-
Theoretische Informatik
(3)
- Zeitschrift (3)