Formal methods for embedded distributed systems

Materias

• Electronic data processing
• Distributed processing
• Embedded computer systems
• Electronic data processing, distributed processing

Ediciones (3)

• Formal Methods for Embedded Distributed Systems (2010)

  Springer · ISBN 9781441954596

• Formal Methods for Embedded Distributed Systems (2007)

  Springer London, Limited · inglés · ISBN 9781402079979

• Formal methods for embedded distributed systems (2004)

  Kluwer Academic · inglés

Más obras de Fabrice Kordon