Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Titre(s) : Logics of specification languages [Texte imprimé] / Dines Bjørner, Martin C. Henson, eds

Publication : Berlin : Springer, cop. 2008

Description matérielle : 1 vol. (XXI-623 p.) : ill. ; 24 cm

Collection : Monographs in theoretical computer science : an EATCS series

Lien à la collection : Monographs in theoretical computer science  Voir toutes les notices liées

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Dines, Bjørner. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Henson, Martin C.. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Langages de programmation -- Sémantique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.133 (23e éd.) = Langages de programmation particuliers  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3540741062. - ISBN 9783540741060 (rel.)

Identifiant de la notice  : ark:/12148/cb41275091r

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