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

Auteur(s) : WADT 2012 (2012 ; Salamanque, Espagne)  Voir les notices liées en tant qu'auteur

Titre(s) : Recent trends in algebraic development techniques [Texte électronique] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers / Narciso Martí-Oliet, Miguel Palomino (eds.)

Publication : Berlin ; New York : Springer, cop. 2013

Description matérielle : 1 online resource (1 texte électronique)

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

Note(s) : Titre de l'écran-titre (visionné le 7 mai 2013)

Autre(s) auteur(s) : Martí-Oliet, Narciso. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Palomino, Miguel. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Martí-Oliet, Narciso. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : WADT 2012

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Information, Théorie de l'  Voir les notices liées en tant que sujet
Structure logique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet ; 005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642376351

Identifiant de la notice  : ark:/12148/cb447068911

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