Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Deductive verification of object-oriented software Benjamin Weiß
Libristo-code: 01877574
Uitgeverij Karlsruher Institut Fur Technologie, augustus 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Volledige beschrijving
? points 70 b
29.09 €
In extern magazijn Wordt binnen 8-11 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

El País de la Canela / The Land of Cinnamon Ospina / Boek Gebonden (paperback)
common.buy 18.68 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Boek binding.
common.buy 130.05 €
Un Maldito Maricón - A Damn Faggot Fredes / Boek Gebonden (paperback)
common.buy 175.01 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Boek Gebonden (paperback)
common.buy 50.62 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Boek Gebonden (paperback)
common.buy 22.12 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Schrijfwaren Schrijfwaren
common.buy 2.52 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Boek Gebonden (harde band)
common.buy 21.21 €
Cuentos Luis Chesney Lawrence / Boek Gebonden (paperback)
common.buy 8.07 €
Kobane Calling Zerocalcare / Boek Gebonden (harde band)
common.buy 21.11 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Boek Gebonden (paperback)
common.buy 26.16 €
5-Minuten-Sketche Karin Pfeiffer / Boek Blad
common.buy 14.34 €
Eine Konigin Ottilie Wildermuth / Boek Gebonden (paperback)
common.buy 8.18 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Boek Gebonden (paperback)
common.buy 56.07 €
Das kulinarische Erbe der Alpen Dominik Flammer / Boek Gebonden (harde band)
common.buy 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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Deductive verification of object-oriented software
Auteur Benjamin Weiß
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 292
EAN 9783866446236
Libristo-code 01877574
Uitgeverij Karlsruher Institut Fur Technologie
Gewicht 467
Afmetingen 170 x 244 x 16
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Weather Kristin Baird Rattini / Boek Gebonden (paperback)
common.buy 5.45 €
Wordt verwacht
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Boek Gebonden (paperback)
common.buy 10.40 €
Eli's Honor: Second Edition Amy Gregory / Boek Gebonden (paperback)
common.buy 13.03 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Boek Gebonden (harde band)
common.buy 39.20 €
Category Theory in Context Riehl / Boek Gebonden (paperback)
common.buy 33.14 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Boek Gebonden (paperback)
common.buy 27.27 €
Shakespeare: Poems William Shakespeare / Boek Gebonden (harde band)
common.buy 15.75 €
Blind Vision Peter Toh / Boek Gebonden (harde band)
common.buy 31.22 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Boek Gebonden (paperback)
common.buy 18.18 €
Confessions of a Chelsea Boy Spencer Matthews / Boek Gebonden (paperback)
common.buy 21.01 €
Higher-Order Logic and Type Theory John L. Bell / Boek Gebonden (paperback)
common.buy 26.26 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Boek Gebonden (paperback)
common.buy 60.52 €
Living with Breast Cancer Jennifer A. Shin / E-book Adobe ePub DRM
common.buy 28.69 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Boek Gebonden (paperback)
common.buy 28.99 €
Crop Improvement Khalid Rehman Hakeem / Boek Gebonden (harde band)
common.buy 205.53 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken