Specification and verification of object oriented software components

Materias

• Programmverifikation
• Komponente <Software>
• Korrektheit
• Formale Spezifikationstechnik
• Objektorientierte Programmiersprache

Ediciones (1)

• Specification and verification of object oriented software components (2006)

  Univ.-Verl. Karlsruhe · inglés · ISBN 9783866440425

Más obras de Andreas Roth