Mathematics of program construction:
9th international conference MPC#July 15-18
Audebaud, Philippe (Editeur) ; Paulin-Mohring, Christine (Editeur)
2008
421 p.
978-3-540-70593-2
00035019
méthodologie de programmation # calcul formel # précision # concision # spécification # langage sémantique
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540705932
ISSN : 0302-9743
Collation : fig.#24 cm#broch. ; Index
Collection : Lecture notes in computer science
N° de collection : 5133
Localisation : Collection 1er étage
Numéro de congrès : 9
Année de la rencontre : 2008
Ville du congrès : Marseille
Pays du congrès : France
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00035019 | [disponible] |