Notice bibliographique

  • Notice

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

Titre(s) : Tools and Algorithms for the Construction and Analysis of Systems [Texte électronique] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin

Titre d'ensemble : (Lecture Notes in Computer Science ; 9636)

Publication : . - Berlin, Heidelberg : Springer Berlin Heidelberg, 2016

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

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



Autre(s) auteur(s) : Chechik, Marsha. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Raskin, Jean-François. É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
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.101 5113 (23e éd.)  Voir les notices liées en tant que sujet


Numéros : ISBN 9783662496749

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



Localiser ce document(1 Exemplaire)

Document numérique : 

1 partie d'exemplaire regroupée

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