Cover Image

Structures de données et méthodes formelles /

Bibliographic Details
Main Author: Guyomard, Marc
Format: eBook
Language:French
Published: Paris : Springer, 2011.
Series:Collection télécom.
Subjects:
Data structures (Computer science)
Formal methods (Computer science)
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and index.
ISBN:2817802004 (electronic bk.)
9782817802008 (electronic bk.)
DOI:10.1007/978-2-8178-0200-8