Notice bibliographique

  • Notice

Type(s) de contenu et mode(s) de consultation : Texte : électronique

Titre(s) : Web Services, Formal Methods, and Behavioral Types [Texte électronique] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich

Publication : . - Cham : Springer International Publishing, 2016

Description matérielle : 1 ressource dématérialisée

Collection : (Lecture Notes in Computer Science ; 9421)
(SpringerLink : Bücher)



Autre(s) auteur(s) : Hildebrandt, Thomas. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Ravara, António. Éditeur scientifique  Voir les notices liées en tant qu'auteur
van der Werf, Jan Martijn. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Weidlich, Matthias. Éditeur scientifique  Voir les notices liées en tant qu'auteur


Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Réseaux d'ordinateurs  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet

Indice(s) Dewey : 005.7 (23e éd.)  Voir les notices liées en tant que sujet


Numéros : ISBN 9783319336121

Notice n° :  FRBNF44681129 (notice reprise d'un réservoir extérieur)



Localiser ce document(1 Exemplaire)

Document numérique : 

1 partie d'exemplaire regroupée

ACQNUM-62895
support : document électronique dématérialisé