Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Sprache EnglischEnglisch
Buch Broschur
Buch Deductive verification of object-oriented software Benjamin Weiß
Libristo-Code: 01877574
Verlag Karlsruher Institut Fur Technologie, August 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Vollständige Beschreibung
? points 70 b
29.09 €
Externes Lager Wir versenden in 8-11 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Eine Konigin Ottilie Wildermuth / Buch Broschur
common.buy 8.17 €
El País de la Canela / The Land of Cinnamon Ospina / Buch Broschur
common.buy 17.57 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Papier- und Schreibwaren Papier- und Schreibwaren
common.buy 2.52 €
Das kulinarische Erbe der Alpen Dominik Flammer / Buch Hardcover
common.buy 65.26 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Buch Broschur
common.buy 53.44 €
Un Maldito Maricón - A Damn Faggot Fredes / Buch Broschur
common.buy 174.98 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Buch binding.
common.buy 130.02 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Buch Broschur
common.buy 50.61 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Buch Broschur
common.buy 23.23 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Buch Hardcover
common.buy 21.21 €
5-Minuten-Sketche Karin Pfeiffer / Buch Blatt
common.buy 13.73 €
Cuentos Luis Chesney Lawrence / Buch Broschur
common.buy 8.48 €
Kobane Calling Zerocalcare / Buch Hardcover
common.buy 21.11 €
El Fuego Oscuro = Dark Fire Christine Feehan / Buch Broschur
common.buy 7.97 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Buch Broschur
common.buy 27.37 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Deductive verification of object-oriented software
Autor Benjamin Weiß
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 292
EAN 9783866446236
Libristo-Code 01877574
Verlag Karlsruher Institut Fur Technologie
Gewicht 467
Abmessungen 170 x 244 x 16
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Crop Improvement Khalid Rehman Hakeem / Buch Hardcover
common.buy 205.49 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Buch Broschur
common.buy 30.70 €
Living with Breast Cancer Jennifer A. Shin / E-Book Adobe ePub DRM
common.buy 28.68 €
Higher-Order Logic and Type Theory John L. Bell / Buch Broschur
common.buy 27.47 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Buch Hardcover
common.buy 41.11 €
Demnächst
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Buch Broschur
common.buy 9.69 €
Eli's Honor: Second Edition Amy Gregory / Buch Broschur
common.buy 13.73 €
Category Theory in Context Riehl / Buch Broschur
common.buy 28.48 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Buch Broschur
common.buy 27.27 €
Shakespeare: Poems William Shakespeare / Buch Hardcover
common.buy 14.74 €
Blind Vision Peter Toh / Buch Hardcover
common.buy 32.62 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Buch Broschur
common.buy 19.08 €
Confessions of a Chelsea Boy Spencer Matthews / Buch Broschur
common.buy 22.32 €
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Buch Broschur
common.buy 13.53 €
Weather Kristin Baird Rattini / Buch Broschur
common.buy 5.85 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Buch Broschur
common.buy 60.51 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?