Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Electronic Book

Uniform Title Approches formelles des systemes embarques communicants. English.
Title Communicating embedded systems [electronic resource] : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.

Imprint London : ISTE ; Hoboken, N.J. : Wiley, 2010.

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
Description xii, 261 p. : ill.
Bibliography Includes bibliographical references and index.
Reproduction Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject Embedded computer systems -- Programming.
Embedded computer systems -- Design and construction.
Computer software -- Development.
Formal methods (Computer science)
Genre/Form Electronic books.
Added Author Jard, Claude.
Roux, Olivier H.
ProQuest (Firm)
ISBN 9781848211438
9781118600122 (electronic bk.)

 
    
Available items only