Formal Techniques for Disributed Objects, Components, and Systems

Materias

• Object-oriented methods (computer science)
• Computer software, reliability

Ediciones (1)

• Formal Techniques for Disributed Objects, Components, and Systems (2017)

  Springer International Publishing AG · inglés · ISBN 9783319602240

Más obras de Ahmed Bouajjani

Automated Technology for Verification and Analysis