Notice bibliographique

  • Notice

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

Titre(s) : Abstract State Machines, Alloy, B, TLA, VDM, and Z [Texte électronique] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro

Publication : . - 2016
Publication : . - Cham : Springer International Publishing, 2016

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

Collection : (Lecture Notes in Computer Science ; Volume 9675)



Autre(s) auteur(s) : Butler, Michael. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Schewe, Klaus-Dieter. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Mashkoor, Atif. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Biro, Miklos. Fonction indéterminée  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
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.131 (23e éd.)  Voir les notices liées en tant que sujet


Numéros : ISBN 9783319336008

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



Localiser ce document(1 Exemplaire)

Document numérique : 

1 partie d'exemplaire regroupée

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