عنوان
پدید آورنده
موضوع
رده
QA76.9.D35 G89 2011eb
QA76
.
9
.
D35
G89
2011eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1299765955
(Number (ISBN
2817801997
(Number (ISBN
2817802004
(Number (ISBN
9781299765955
(Number (ISBN
9782817801995
(Number (ISBN
9782817802008
Erroneous ISBN
9782817801995
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433028
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Structures de données et méthodes formelles /
General Material Designation
[Book]
First Statement of Responsibility
Marc Guyomard
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 438 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Collection télécom
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
CONTENTS NOTE
Text of Note
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
0
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
MIL
Stock Number
507846
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9781299765955
TOPICAL NAME USED AS SUBJECT
Data structures (Computer science)
Formal methods (Computer science)
DEWEY DECIMAL CLASSIFICATION
Number
005
.
7/3
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
D35
Book number
G89
2011eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Guyomard, Marc
ORIGINATING SOURCE
Date of Transaction
20170726082104.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
