Formal aspects of computing : applicable formal methods

Enregistré dans:
Détails bibliographiques
Collectivités auteurs: British computer society (Éditeur intellectuel), British Computer Society. Specialist Group in Formal Aspects of Computing Science (Éditeur intellectuel), LINK (Éditeur intellectuel)
Autres auteurs: Jones, Cliff B., 1944- (Éditeur intellectuel)
Format: Revue numérique
Langue:Anglais
Publié: London : Springer 200.-.
Sujets:
Accès en ligne: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
Note: 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

En ligne

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