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
Filter
Type of Medium
Language
Region
Library
Years
Person/Organisation
  • 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
  • 2
    Online Resource
    Online Resource
    Specification and verification of object-oriented software components / (2006)
    [Place of publication not identified] :KIT Scientific Publishing,
    Details
    UID:
    edoccha_9961125593602883
    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
    Charité
  • 3
    Online Resource
    Online Resource
    Specification and verification of object-oriented software components / (2006)
    [Place of publication not identified] :KIT Scientific Publishing,
    Details
    UID:
    edocfu_9961125593602883
    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
    FU Berlin
  • 4
    Online Resource
    Online Resource
    U.S. - Israeli Strategic Cooperation In The Post-cold War Era : An American Perspective (2018)
    London, United Kingdom :Routledge,
    Details
    UID:
    almahu_9949508062802882
    Format: 1 online resource (194 pages)
    ISBN: 0-429-26823-8 , 1-000-01138-0 , 1-000-00454-6
    Content: This study moves from a history of the American-Israeli strategic relationship since 1967 to an assessment of the permanency of US-Israeli strategic ties, their purpose in the eyes of both partners, and their susceptibility to future pressures. It includes an examination of the relationship under the strain of the 1991 Gulf War.
    Additional Edition: ISBN 0-367-21696-5
    Additional Edition: ISBN 0-367-21415-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 5
    Online Resource
    Online Resource
    U.S. - Israeli Strategic Cooperation In The Post-cold War Era : An American Perspective (2018)
    London, United Kingdom :Routledge,
    Details
    UID:
    edocfu_9961125902402883
    Format: 1 online resource (194 pages)
    ISBN: 0-429-26823-8 , 1-000-01138-0 , 1-000-00454-6
    Content: This study moves from a history of the American-Israeli strategic relationship since 1967 to an assessment of the permanency of US-Israeli strategic ties, their purpose in the eyes of both partners, and their susceptibility to future pressures. It includes an examination of the relationship under the strain of the 1991 Gulf War.
    Additional Edition: ISBN 0-367-21696-5
    Additional Edition: ISBN 0-367-21415-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    FU Berlin
  • 6
    Online Resource
    Online Resource
    U.S. - Israeli Strategic Cooperation In The Post-cold War Era : An American Perspective (2018)
    London, United Kingdom :Routledge,
    Details
    UID:
    edoccha_9961125902402883
    Format: 1 online resource (194 pages)
    ISBN: 0-429-26823-8 , 1-000-01138-0 , 1-000-00454-6
    Content: This study moves from a history of the American-Israeli strategic relationship since 1967 to an assessment of the permanency of US-Israeli strategic ties, their purpose in the eyes of both partners, and their susceptibility to future pressures. It includes an examination of the relationship under the strain of the 1991 Gulf War.
    Additional Edition: ISBN 0-367-21696-5
    Additional Edition: ISBN 0-367-21415-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Charité
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 1000003544?
Did you mean 1000004542?
Did you mean 1030004544?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages