Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Language EnglishEnglish
Book Paperback
Book Deductive verification of object-oriented software Benjamin Weiß
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
? points 77 b
11 300 Ft
In stock at our supplier Shipping in 8-11 days

30-day return policy

Customers also purchased

Eine Konigin Ottilie Wildermuth / Book Paperback
common.buy 3 166 Ft
El País de la Canela / The Land of Cinnamon Ospina / Book Paperback
common.buy 6 494 Ft
Zápisník LUX fauna, flora II NEW10x7,5 cm / Stationery items Stationery items
common.buy 878 Ft
Das kulinarische Erbe der Alpen Dominik Flammer / Book Hardback
common.buy 25 490 Ft
Vertragsfolgen ohne Vertrag. Michael Litterer / Book Paperback
common.buy 18 982 Ft
Un Maldito Maricón - A Damn Faggot Fredes / Book Paperback
common.buy 62 127 Ft
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Book binding.
common.buy 46 154 Ft
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Book Paperback
common.buy 17 970 Ft
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Book Paperback
common.buy 8 472 Ft
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Book Hardback
common.buy 7 548 Ft
5-Minuten-Sketche Karin Pfeiffer / Book Sheet
common.buy 4 867 Ft
Cuentos Luis Chesney Lawrence / Book Paperback
common.buy 3 106 Ft
Kobane Calling Zerocalcare / Book Hardback
common.buy 8 236 Ft
El Fuego Oscuro = Dark Fire Christine Feehan / Book Paperback
common.buy 2 842 Ft
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Book Paperback
common.buy 9 997 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Deductive verification of object-oriented software
Author Benjamin Weiß
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 292
EAN 9783866446236
Libristo code 01877574
Publishers Karlsruher Institut Fur Technologie
Weight 467
Dimensions 170 x 244 x 16
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Crop Improvement Khalid Rehman Hakeem / Book Hardback
common.buy 79 260 Ft
Introduction to Dependent Types with Idris Boro Sitnikovski / Book Paperback
common.buy 11 314 Ft
Living with Breast Cancer Jennifer A. Shin / E-book Adobe ePub DRM
common.buy 10 159 Ft
Higher-Order Logic and Type Theory John L. Bell / Book Paperback
common.buy 10 011 Ft
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Book Hardback
common.buy 14 979 Ft
Coming soon
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Book Paperback
common.buy 3 693 Ft
Eli's Honor: Second Edition Amy Gregory / Book Paperback
common.buy 4 996 Ft
Category Theory in Context Riehl / Book Paperback
common.buy 10 464 Ft
The Carved Pare: A Maori Mirror of the Universe David Simmons / Book Paperback
common.buy 10 390 Ft
Shakespeare: Poems William Shakespeare / Book Hardback
common.buy 5 435 Ft
Blind Vision Peter Toh / Book Hardback
common.buy 11 901 Ft
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Book Paperback
common.buy 6 961 Ft
Confessions of a Chelsea Boy Spencer Matthews / Book Paperback
common.buy 7 474 Ft
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Book Paperback
common.buy 5 232 Ft
Weather Kristin Baird Rattini / Book Paperback
common.buy 2 140 Ft
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Book Paperback
common.buy 23 507 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?