Formal aspects of computing : applicable formal methods

Salvato in:
Dettagli Bibliografici
Enti autori: British computer society (Redattore), British Computer Society. Specialist Group in Formal Aspects of Computing Science (Redattore), LINK (Redattore)
Altri autori: Jones, Cliff B., 1944- (Redattore)
Natura: Revue numérique
Lingua:Anglais
Pubblicazione: London : Springer 200.-.
Soggetti:
Accesso online:Accès sur la plateforme de l'éditeur (Springer)
Accès sur la plateforme ISTEX (corpus Springer)
Accès Université d'Orléans
Accès INSA CVL
Nota: Titre provenant de l'écran-titre
Articles mis en ligne par SpringerLink
Archives Springer périodiques (Licence nationale)
Archives Springer périodiques (Licence nationale)
The Keepers Registry
Type of computer file: Articles en texte intégral au format html ou pdf
Autres localisations: Voir dans le Sudoc
État de collection: Revue électronique, (1989) - (2013)180339901, (1989) - (2013)
Edition sous un autre format:• Formal aspects of computing, 0934-5043

Documenti analoghi