Structures De Donnees Et Methodes Formelles (Collection Telecom (Ex-collection Technique Et Scientifique Des Telecommunications)) - Image 1

Price loading...

Springer Structures De Donnees Et Methodes Formelles (Collection Telecom (Ex-collection Technique Et Scientifique Des Telecommunications))

Name: Structures De Donnees Et Methodes Formelles (Collection Telecom (Ex-collection Technique Et Scientifique Des Telecommunications))
Brand: Springer

Functional Programming

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

Ce livre porte sur l'Ã©tude des structures de donnÃ©es, Ã savoir des constituants logiciels dont la qualitÃ© conditionne le bon fonctionnement et l'efficacitÃ© des applications informatiques. L'originalitÃ© de cet ouvrage rÃ©side essentiellement dans le lien qu'il Ã©tablit avec la discipline des mÃ©thodes formelles pour le gÃ©nie logiciel. Il montre comment il est possible de calculer les opÃ©rations qui accompagnent une structure de donnÃ©es Ã partir d'une spÃ©cification rigoureuse. L'auteur adopte Ã la fois une perspective historique et une dÃ©marche fonctionnelle. La premiÃ¨re partie de l'ouvrage prÃ©sente les bases de la discipline : la thÃ©orie des ensembles, l'Ã©tude de structures intermÃ©diaires (listes, arbres, sacs), et l'analyse des algorithmes. La seconde partie se focalise sur l'Ã©tude approfondie de cinq structures de donnÃ©es typiques : les ensembles simples, les ensembles composites, les files simples, les files de prioritÃ©, et les tableaux flexibles. Des exercices accompagnent chaque chapitre.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 2817801997
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Functional Programming
Domain: Amazon UK
Release Date: 29 May 2011
Listed Since: 24 January 2011

Barcode

No barcode data available

Springer Structures De Donnees Et Methodes Formelles (Collection Telecom (Ex-collection Technique Et Scientifique Des Telecommunications))

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Algorithms and Data Structures: The Basic Toolbox

Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis

Data Structures and Algorithms in Computer Science

Springer Systematic Modeling of Telecom Frontends - 842

A Textbook of Data Structures and Algorithms, Volume 1: Mastering Linear Data Structures (Textbook of Data Structures and Algorithms, 1)

Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis

A Textbook of Data Structures and Algorithms, Volume 2: Mastering Nonlinear Data Structures (Computer Engineering)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Algorithmen - Eine Einführung

Discrete Structures

Data Structure Practice: for Collegiate Programming Contests and Education

Data Structures: Form and Function

Datenstrukturen objektorientiert mit Modula-2

Algorithms and Data Structures for Massive Datasets

Springer - Formal Methods and Models for System Design Book

Data Structures & Algorithms in Python (Developer's Library)

Discrete Structures with Contemporary Applications

Problems on Algorithms: A Comprehensive Exercise Book for Students in Software Engineering

Funktionelle Analyse von Kommunikationsprotokollen: 247 (Informatik-Fachberichte, 247)

Digital Communication: Principles and System Modelling (Signals and Communication Technology)

Foundations of Multidimensional and Metric Data Structures (The Morgan Kaufmann Series in Data Management Systems)

Introduction to Databases: From Biological to Spatio-Temporal (Texts in Computer Science)

Wiley A Textbook of Data Structures and Algorithms Volume 3

A Practical Guide to Data Structures and Algorithms using Java (Chapman & Hall/CRC Applied Algorithms and Data Structures series)