Formal aspects of computing : applicable formal methods

Formal aspects of computing : applicable formal methods

Accès par la licence nationale

Enregistré dans:
Détails bibliographiques
La bibliothèque possède : depuis 1989 jusqu'à 2014
Format : Revue
Langue : anglais
Publié : Springer
Sujets :
Informatique
Accès en ligne : Accès Nantes Université
Accès direct depuis les campus, via le réseau ou le wifi eduroam, ou après connexion à l'accès nomade
Accès en ligne pour les lecteurs extérieurs : Sur place uniquement via les ordinateurs connectés au réseau de Nantes Université
id E00074900396
id_txt E00074900396
spelling E00074900396 Formal aspects of computing : applicable formal methods Revue Accès par la licence nationale
Formal aspects of computing : applicable formal methods
spellingShingle Formal aspects of computing : applicable formal methods
Formal aspects of computing : applicable formal methods
Informatique
institution Bibliothèque Universitaire de Nantes
collection Catalogue
language anglais
format Revue
title Formal aspects of computing : applicable formal methods
title_sort Formal aspects of computing : applicable formal methods
title_sub Formal aspects of computing : applicable formal methods
title_short Formal aspects of computing : applicable formal methods
title_full Formal aspects of computing : applicable formal methods
title_fullStr Formal aspects of computing : applicable formal methods
Formal aspects of computing : applicable formal methods
title_full_unstemmed Formal aspects of computing : applicable formal methods
Formal aspects of computing : applicable formal methods
journal_title_browse Formal aspects of computing : applicable formal methods
publisher Springer
description Accès par la licence nationale
url_brute_str https://link.springer.com/journal/165
url https://link.springer.com/journal/165
issn 0934-5043
1433-299X
topic Informatique
topic_facet Informatique
hierarchy_top_id E00074900000
hierarchy_top_title Springer
hierarchy_parent_id E00074900000
hierarchy_sequence 00396
record_format bazelek
facette_ligne_rayon En ligne
public adulte
controles reseau_nu
pivot_papier_enligne 0934-5043
1433-299X
fullrecord {"id":"E00074900396","titre":"Formal aspects of computing : applicable formal methods","editeur":"Springer","url":"https://link.springer.com/journal/165","url_bypass_ezproxy":"1","publiee":"1","created":"11/03/2019 13:40","modified":"05/01/2022 17:31","type_id":"2","gestionnaire_id":"1","langues":["anglais"],"controles":["reseau_nu"],"countcsvlocal":"1204","countcsvnational":"0","ezproxy":"","hierarchy_top_id":"E00074900000","hierarchy_top_title":"Springer","is_hierarchy_id":"","is_hierarchy_title":"","hierarchy_sequence":"00396","issn":["0934-5043","1433-299X"],"eissn":"1433-299X","etat_collection":"depuis 1989 jusqu'à 2014","date_first_issue_online":"1989","date_last_issue_online":"2014","variantes_titre":"","type":"Revue","disciplines":["Informatique"],"description":"Accès par la licence nationale","hierarchy_parent_id":"E00074900000","allfields":"E00074900396 Formal aspects of computing : applicable formal methods Revue Accès par la licence nationale","allfields_unstemmed":"E00074900396 Formal aspects of computing : applicable formal methods Revue Accès par la licence nationale","fulltext":"E00074900396 Formal aspects of computing : applicable formal methods Revue Accès par la licence nationale","fulltext_unstemmed":"E00074900396 Formal aspects of computing : applicable formal methods Revue Accès par la licence nationale","spelling":"Formal aspects of computing : applicable formal methods","spellingShingle":"Formal aspects of computing : applicable formal methods","institution":"Bibliothèque Universitaire de Nantes","collection":"Catalogue","language":["anglais"],"format":"Revue","title":"Formal aspects of computing : applicable formal methods","title_sort":"Formal aspects of computing : applicable formal methods","title_sub":"Formal aspects of computing : applicable formal methods","title_short":"Formal aspects of computing : applicable formal methods","title_full":"Formal aspects of computing : applicable formal methods","title_full_unstemmed":"Formal aspects of computing : applicable formal methods","title_fullStr":"Formal aspects of computing : applicable formal methods","journal_title_browse":["Formal aspects of computing : applicable formal methods"],"publisher":"Springer","publisherStr":"Springer","publishDateSort":"2023","url_brute_str":"https://link.springer.com/journal/165","topic":["Informatique"],"topic_unstemmed":["Informatique"],"topic_facet":["Informatique"],"topic_browse":["Informatique"],"record_format":"bazelek","facette_ligne_rayon":"En ligne","public":"adulte","pivot_papier_enligne":["0934-5043","1433-299X"]}
_version_ 1810770236349087746