Name: Formal Methods for Embedded Distributed Systems How To Master The Complexity
ISBN: 9781402079962

by Kordon, Fabrice, Lemoine, Michel

Formal Methods for Embedded Distributed Systems How To Master The Complexity

by Kordon, Fabrice, Lemoine, Michel

Marketplace Prices
New from $96.75

New
$96.75

List Price

~~$179.00~~

Discount

45% Off

You Save

$82.25

Item Details
Condition: New
Provider: Bookjunction Contact
Provider Rating:

74%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New, US edition. Satisfaction guaranteed!!

ISBN-13: 9781402079962
ISBN: 1402079966
Publication Date: 2004
Publisher: Springer

AUTHOR

Kordon, Fabrice, Lemoine, Michel

SUMMARY

This work is dedicated to the presentation of some techniques to be used in the context of distributed and/or embedded systems. Since formal techniques rely on models, the presented techniques are located in the first part of software development.Kordon, Fabrice is the author of 'Formal Methods for Embedded Distributed Systems How To Master The Complexity', published 2004 under ISBN 9781402079962 and ISBN 1402079966.

[read more]