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

Auteur(s) : Hutchison, David (1949-....)  Voir les notices liées en tant qu'auteur
International Conference on Algebraic Methodology and Software Technology (12 ; Urbana, Ill.2008)  Voir les notices liées en tant qu'auteur

Titre(s) : Algebraic Methodology and Software Technology [Texte électronique] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Publication : Berlin : Springer-Verlag, 2008

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

Collection : Lecture Notes in Computer Science

Note(s) : Titre de l'écran-titre (visionné le 5 janvier 2009). - Bibliogr. - Print version record.

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Génie logiciel  Voir les notices liées en tant que sujet
Types abstraits de données (informatique)  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Structure logique  Voir les notices liées en tant que sujet
Logique informatique  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.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 9783540799801

Identifiant de la notice  : ark:/12148/cb44696758m

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