Formal aspects of computing : applicable formal methods
Salvato in:
| 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
-
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
(Livre numérique)
Brauer, Wilfried, 1937-2014 -
Formal aspects of cognitive processes : interdisciplinary conference, Ann Arbor, March 1972
(Livre numérique)
Springer, 2005 -
Formal methods in system design.
(Revue numérique)
Kluwer, 2002 - Formal aspects of security : First international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers (Livre numérique)
-
Formal foundations for software engineering methods
(Livre numérique)
Hussmann, Heinrich, 1959-