top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui