Formal aspects of computing : applicable formal methods
محفوظ في:
| مؤلفون مشاركون: | , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Revue numérique |
| اللغة: | Anglais |
| منشور في: |
London :
Springer
200.-.
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | 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 |
| ملاحظة: |
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 |
| LEADER | 02565nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 703575 | ||
| 008 | 070524c20009999xx ||| |||| 00| 0 eng d | ||
| 009 | PPN114716005 | ||
| 022 | |a 1433299X | ||
| 041 | 0 | |a eng | |
| 080 | |a 519 | ||
| 080 | |a 681.3 | ||
| 245 | 0 | 0 | |a Formal aspects of computing : |b applicable formal methods |c editor-in-chief Cliff B. Jones. |
| 256 | |a Données textuelles | ||
| 260 | |a London : |b Springer, |c 200.-. | ||
| 310 | |a Trimestriel | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a Articles mis en ligne par SpringerLink | ||
| 500 | |a Archives Springer périodiques (Licence nationale) | ||
| 500 | |a Archives Springer périodiques (Licence nationale) | ||
| 500 | |a The Keepers Registry | ||
| 500 | |a Type of computer file: Articles en texte intégral au format html ou pdf | ||
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales pour les années antérieures à 2014. Springer | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-revues-contrat-licence-ln-2011 | ||
| 538 | |a Configuration requise : navigateur internet, Adobe Acrobat Reader | ||
| 650 | |a Informatique | ||
| 700 | 1 | |a Jones, Cliff B., |d 1944- |4 edt | |
| 710 | 2 | |a British computer society. |4 edt | |
| 710 | 2 | |a British Computer Society. |b Specialist Group in Formal Aspects of Computing Science. |4 edt | |
| 710 | 2 | |a LINK. |4 edt | |
| 776 | 0 | |0 040048993 |t Formal aspects of computing |x 0934-5043 | |
| 856 | 4 | |u https://link.springer.com/journal/165/volumes-and-issues |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-R1371CN1-Z |z Accès sur la plateforme ISTEX (corpus Springer) | |
| 856 | 4 | |5 452349901:842114203 |u https://ezproxy.univ-orleans.fr/login?url=https://revue-sommaire.istex.fr/ark:/67375/8Q1-R1371CN1-Z |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:842236198 |u https://ezproxy.insa-cvl.fr/login?qurl=https://revue-sommaire.istex.fr/ark:/67375/8Q1-R1371CN1-Z |z Accès INSA CVL | |
| 866 | |a Revue électronique, (1989) - (2013) | ||
| 866 | |a 180339901, (1989) - (2013) | ||
| 955 | 4 | 1 | |5 452349901:842114203 |i 1989 |i 2013 |r (1989) - (2013) |
| 955 | 4 | 1 | |5 180339901:842236198 |i 1989 |i 2013 |r (1989) - (2013) |
| 997 | |0 703575 |1 Revue numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||