Formal aspects of computing
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Formal aspects of computing
|
| Pubblicazione: | 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 |
| Note generali: | Refereed/Peer-reviewed |
| Titolo abbreviato (Periodici): | FORMAL ASPECTS OF COMPUTING INTERNATIONAL JOURNAL OF FORMAL METHODS |
| FORM ASP COMPUT | |
| FORM. ASP. COMPUT | |
| Form. asp. comput | |
| Altri titoli varianti: | Formal aspects of computing : applicable formal methods |
| Titolo autorizzato: | Formal aspects of computing |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910138888203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |