1.
Record Nr.
UNINA9910138888203321
Titolo
Formal aspects of computing
Pubbl/distr/stampa
London, : Springer Verlag
ISSN
1433-299X
Descrizione fisica
1 online resource
Disciplina
004.05
Soggetti
Computer science
Informatique
Computers
Formale Methode
Systementwicklung
Theoretische Informatik
Zeitschrift
Online-Ressource
Formale Sprache
Programmeren (computers)
Formele talen
Periodicals.
Online-Publikation
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Periodico
Note generali
Refereed/Peer-reviewed