Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Deductive verification of object-oriented software

Name: Deductive verification of object-oriented software
Brand: Karlsruher Institut Fur Technologie
SKU: 01877574
Price: 29.09 EUR
Availability: InStock
Author: Benjamin Weiß
ISBN: 9783866446236

dynamic frames, dynamic logic and predicate abstraction

Benjamin Weiß

Language

English

Book Paperback

Libristo code: 01877574

Publishers Karlsruher Institut Fur Technologie, August 2014

Software systems play a central role in modern society, and their correctness is often crucially imp... Full description

Libristo code: 01877574

70 b

29.09 €

In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

El País de la Canela / The Land of Cinnamon Ospina

Paperback

17.57 €

Plv Pleine Cousins Karlsson 15 Vol. Mazetti

binding.

130.05 €

Un Maldito Maricón - A Damn Faggot Fredes

Paperback

175.01 €

L'expérience esthétique - une archéologie des arts et de la communication Olivesi

Paperback

50.62 €

Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz

Paperback

22.12 €

Zápisník LUX fauna, flora II NEW10x7,5 cm

Stationery items

2.52 €

JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS

Hardback

21.21 €

Cuentos Luis Chesney Lawrence

Paperback

8.07 €

Kobane Calling Zerocalcare

Hardback

21.11 €

Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy

Paperback

26.16 €

5-Minuten-Sketche Karin Pfeiffer

Sheet

13.73 €

Eine Konigin Ottilie Wildermuth

Paperback

8.18 €

Vertragsfolgen ohne Vertrag. Michael Litterer

Paperback

53.45 €

Das kulinarische Erbe der Alpen Dominik Flammer

Hardback

65.27 €

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.