X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
back to result list
  • 1
    Online Resource
    Online Resource
    Specification and verification of object-oriented software components / (2006)
    [Place of publication not identified] :KIT Scientific Publishing,
    Details
    UID:
    almahu_9949507961402882
    Format: 1 online resource (268 pages)
    Content: This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
    Additional Edition: ISBN 1000004542
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages