m
     
Ouvrage

H 0 Relations and graphs :
discrete mathematics for computer scientists

Schmidt, Gunther (Principal) ; Ströhlein, Thomas (Co-auteur)

Springer-Verlag

1993

301 p.

978-3-540-56254-2

00021536

00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01

algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540562542

ISBN : 3-540-56254-0

Collation : Bibligor. ; fig.#appendix#24 cm#rel. ; Index

Collection : EATCS monographs on theoretical computer science

Localisation : Ouvrage RdC (SCHM)

Code ACM : B.6 ; D.2.4 ; F.3.1 ; F.3.2 ; G.2

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00021536

[disponible]
Z