Items related to Deductive Verification of Object-Oriented Software:...
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Deductive Verification of Object-Oriented Software:...
Stock Image
Deductive Verification of ObjectOriented Software Dynamic Frames, Dynamic Logic and Predicate Abstraction
Published by
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
PAP
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783866446236
Quantity: Over 20 available
Stock Image
Deductive Verification of ObjectOriented Software Dynamic Frames, Dynamic Logic and Predicate Abstraction
Published by
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
PAP
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783866446236
Quantity: Over 20 available
Stock Image
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Published by
KIT Scientific Publishing, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Apr0316110165116
Quantity: Over 20 available
Stock Image
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Published by
KIT Scientific Publishing, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783866446236_new
Quantity: Over 20 available
Stock Image
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Published by
KIT Scientific Publishing, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783866446236
Quantity: Over 20 available
Stock Image
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Published by
Karlsruher Institut f�r Technologie 2014-08, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
PF
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783866446236
Quantity: 10 available
Seller Image
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Published by
Karlsruher Institut Für Technologie Feb 2011, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Taschenbuch
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. Seller Inventory # 9783866446236
Quantity: 2 available
Seller Image
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Published by
Karlsruher Institut Für Technologie, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 9783866446236
Quantity: 1 available
Seller Image
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Published by
KIT Scientific Publishing, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 5587966
Quantity: Over 20 available
Seller Image
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Published by
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Aug 2014, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
New
Taschenbuch
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. Seller Inventory # 9783866446236
Quantity: 2 available