Formal Techniques for Networked and Distributed Systems - FORTE 2007

Materias

• System design
• Electronic data processing, distributed processing
• Computer network protocols

Ediciones (1)

• Formal Techniques for Networked and Distributed Systems - FORTE 2007 (2007)

  Springer London, Limited · inglés · ISBN 9783540731962

Más obras de John Derrick