Order Total (1 Item Items):
Shipping Destination:
Deductive Verification Object Oriented Software by Weiß Benjamin (7 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (7)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (7)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (7)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (4)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Language: English
Published by KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Condition: New.
-
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Language: English
Published by KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Condition: New.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Language: English
Published by Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Aug 2014, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.Books on Demand GmbH, Überseering 33, 22297 Hamburg 292 pp. Englisch.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Language: English
Published by Karlsruher Institut Für Technologie, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Language: English
Published by Karlsruher Institut Für Technologie Feb 2011, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction. 292 pp. Englisch.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Language: English
Published by KIT Scientific Publishing, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an a.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Language: English
Published by Karlsruher Institut für Technologie, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Taschenbuch. Condition: Neu. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction | Benjamin Weiß | Taschenbuch | 292 S. | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783866446236 | Verantwortliche Person für die EU: Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu Print on Demand.
