Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Hutchison, David (1949-....)
Titre(s) : Mathematics of Program Construction [Texte électronique] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Philippe Audebaud, Christine Paulin-Mohring
Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2008
Collection : Lecture Notes in Computer Science ; 5133
Computer Science (Springer-11645; ZDB-2-SCS)
Note(s) : Fichier PDF.
Autre(s) auteur(s) : Audebaud, Philippe. Fonction indéterminée
Kanade, Takeo. Fonction indéterminée
Kittler, Josef (1946-....). Fonction indéterminée
Kleinberg, Jon M.. Fonction indéterminée
Mattern, Friedemann. Fonction indéterminée
Mitchell, John C.. Fonction indéterminée
Naor, Moni (1961-....). Fonction indéterminée
Nierstrasz, Oscar. Fonction indéterminée
Pandu Rangan, C. Fonction indéterminée
Paulin-Mohring, Christine. Fonction indéterminée
Steffen, Bernhard (1958-....). Fonction indéterminée
Sudan, Madhu. Fonction indéterminée
Terzopoulos, Demetri. Fonction indéterminée
Tygar, Doug. Fonction indéterminée
Vardi, Moshe Ya'akov (1954-....). Fonction indéterminée
Weikum, Gerhard. Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Langages de programmation
Programmation (informatique)
Logique mathématique
Informatique -- Mathématiques
Structure logique
Identifiants, prix et caractéristiques : ISBN 9783540705949
Identifiant de la notice : ark:/12148/cb446946832
Notice n° :
FRBNF44694683
(notice reprise d'un réservoir extérieur)