| Document Type
|
:
|
BL
|
| Record Number
|
:
|
603809
|
| Doc. No
|
:
|
b433028
|
| Main Entry
|
:
|
Guyomard, Marc
|
| Title & Author
|
:
|
Structures de données et méthodes formelles /\ Marc Guyomard
|
| Series Statement
|
:
|
Collection télécom
|
| Page. NO
|
:
|
1 online resource (xvi, 438 pages) :: illustrations
|
| ISBN
|
:
|
9782817802008
|
|
|
:
|
: 2817802004
|
|
|
:
|
: 2817801997
|
|
|
:
|
: 9782817801995
|
|
|
:
|
: 1299765955
|
|
|
:
|
: 9781299765955
|
|
|
:
|
9782817801995
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Contents
|
:
|
1. Les bases -- Mathématiques pour les structures de données -- Spécifications+Fonction d'abstraction+Calcul=Programmes -- Étude de quelques structures -- Analyse d'algorithmes -- Exemples -- 2. Structures de données fondamentales : spécification et mises en œuvre -- Ensembles de clés scalaires -- Ensembles de clés structurées -- Files simples -- Files de priorités -- Tableaux flexibles -- Annexes.-Propriétés générales des ensembles -- Propriétés des relations binaires -- Propriétés des fonctions -- Propriétés des entiers
|
| Subject
|
:
|
Data structures (Computer science)
|
| Subject
|
:
|
Formal methods (Computer science)
|
| Dewey Classification
|
:
|
005.7/3
|
| LC Classification
|
:
|
QA76.9.D35G89 2011eb
|