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

Auteur(s) : FOSSACS Conférence (12e ; 2009 ; York, Angleterre)  Voir les notices liées en tant qu'auteur
FOSSACS 2009 (12 ; York, UK2009)  Voir les notices liées en tant qu'auteur

Titre(s) : Foundations of software science and computational structures [Texte électronique] : 12th International Conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, proceedings / Luca de Alfaro (ed.)

Publication : Berlin : Springer, cop. 2009

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

Collection : Lecture notes in computer science ; 5504
LNCS Sublibrary. SL 1, Theoretical computer science and general issues

Note(s) : Comprend des références bibliographiques. - Titre de la page de titre de la ressource électronique (SpringerLink, visionné le 24 novembre 2016).

Autre(s) auteur(s) : De Alfaro, Luca (1966-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
ETAPS Conférence (2009 ; York, Angleterre). 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
Logiciels -- Développement  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Ordinateurs  Voir les notices liées en tant que sujet
Actes de congrès  Voir les notices liées en tant que sujet
Livres numériques  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet ; 004.21 (23e éd.) = Analyse et conception des systèmes (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642005961

Identifiant de la notice  : ark:/12148/cb44697704x

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