Formal Methods : Foundations and Applications

Materias

• Computer software, development

Ediciones (2)

• Formal Methods : Foundations and Applications (2015)

  Springer International Publishing AG · inglés · ISBN 9783319150741

• Formal Methods : Foundations and Applications (2015)

  Springer London, Limited · inglés · ISBN 9783319150758

Más obras de Christiano Braga

Formal Aspects of Component Software