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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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.12 €
In extern magazijn Wordt binnen 8-11 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Eine Konigin Ottilie Wildermuth / Boek Gebonden (paperback)
common.buy 8.18 €
El País de la Canela / The Land of Cinnamon Ospina / Boek Gebonden (paperback)
common.buy 17.59 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Schrijfwaren Schrijfwaren
common.buy 2.52 €
Das kulinarische Erbe der Alpen Dominik Flammer / Boek Gebonden (harde band)
common.buy 65.34 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Boek Gebonden (paperback)
common.buy 53.50 €
Un Maldito Maricón - A Damn Faggot Fredes / Boek Gebonden (paperback)
common.buy 175.19 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Boek binding.
common.buy 130.18 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Boek Gebonden (paperback)
common.buy 50.67 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Boek Gebonden (paperback)
common.buy 22.14 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Boek Gebonden (harde band)
common.buy 21.23 €
5-Minuten-Sketche Karin Pfeiffer / Boek Blad
common.buy 13.75 €
Cuentos Luis Chesney Lawrence / Boek Gebonden (paperback)
common.buy 8.08 €
Kobane Calling Zerocalcare / Boek Gebonden (harde band)
common.buy 21.13 €
El Fuego Oscuro = Dark Fire Christine Feehan / Boek Gebonden (paperback)
common.buy 7.98 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Boek Gebonden (paperback)
common.buy 26.19 €

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

Crop Improvement Khalid Rehman Hakeem / Boek Gebonden (harde band)
common.buy 205.74 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Boek Gebonden (paperback)
common.buy 29.02 €
Living with Breast Cancer Jennifer A. Shin / E-book Adobe ePub DRM
common.buy 28.62 €
Higher-Order Logic and Type Theory John L. Bell / Boek Gebonden (paperback)
common.buy 26.29 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Boek Gebonden (harde band)
common.buy 39.24 €
Wordt verwacht
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Boek Gebonden (paperback)
common.buy 9.70 €
Eli's Honor: Second Edition Amy Gregory / Boek Gebonden (paperback)
common.buy 13.04 €
Category Theory in Context Riehl / Boek Gebonden (paperback)
common.buy 26.80 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Boek Gebonden (paperback)
common.buy 27.30 €
Shakespeare: Poems William Shakespeare / Boek Gebonden (harde band)
common.buy 14.76 €
Blind Vision Peter Toh / Boek Gebonden (harde band)
common.buy 31.25 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Boek Gebonden (paperback)
common.buy 18.20 €
Confessions of a Chelsea Boy Spencer Matthews / Boek Gebonden (paperback)
common.buy 21.03 €
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Boek Gebonden (paperback)
common.buy 13.54 €
Weather Kristin Baird Rattini / Boek Gebonden (paperback)
common.buy 5.45 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Boek Gebonden (paperback)
common.buy 60.58 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?