An edition of Specification and verification of object oriented software components (2006)

Specification and verification of object oriented software components

By Andreas Roth

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2006

Publisher

Univ.-Verl. Karlsruhe

Language

eng

Pages

Description:

subjects: Programmverifikation, Komponente <Software>, Korrektheit, Formale Spezifikationstechnik, Objektorientierte Programmiersprache