Formal Methods for Embedded Distributed Systems
Subtitle: How to master the complexity (The Kluwer International Series in Engineering & Computer Science)
Contributors: Fabrice Kordon (Editor); Michel Lemoine (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 15, 1991
Language: eng
Format: Hardcover
Number of pages: 263
ISBN-13: 9781402079962
Subjects: General Theory of Computing; Distributed processing; Computer Science; Computers; Computers - Languages / Programming; Programming - Software Development; Computer Books: General; Presentation Software; Electronic data processing; Computer Architecture - General; Computers / Programming / Software Development; Embedded computer systems