Vai al contenuto principale della pagina
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.: | 996211823103316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |