Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Σημείο ACS 4.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετο
Βιβλίο Deductive verification of object-oriented software Benjamin Weiß
Κωδικός Libristo: 01877574
ΕΕκδοτικός οίκος Karlsruher Institut Fur Technologie, Αύγουστος 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Πλήρης περιγραφή
? points 70 b
29.04 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 8-11 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Eine Konigin Ottilie Wildermuth / Βιβλίο Χαρτόδετο
common.buy 8.16 €
El País de la Canela / The Land of Cinnamon Ospina / Βιβλίο Χαρτόδετο
common.buy 17.54 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Χαρτικά/γραφική ύλη Χαρτικά/γραφική ύλη
common.buy 2.51 €
Das kulinarische Erbe der Alpen Dominik Flammer / Βιβλίο Σκληρόδετο
common.buy 65.15 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Βιβλίο Χαρτόδετο
common.buy 53.35 €
Un Maldito Maricón - A Damn Faggot Fredes / Βιβλίο Χαρτόδετο
common.buy 174.69 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Βιβλίο binding.
common.buy 129.80 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Βιβλίο Χαρτόδετο
common.buy 50.52 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Βιβλίο Χαρτόδετο
common.buy 23.19 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Βιβλίο Σκληρόδετο
common.buy 21.17 €
5-Minuten-Sketche Karin Pfeiffer / Βιβλίο Λίστα
common.buy 13.71 €
Cuentos Luis Chesney Lawrence / Βιβλίο Χαρτόδετο
common.buy 8.46 €
Kobane Calling Zerocalcare / Βιβλίο Σκληρόδετο
common.buy 21.07 €
El Fuego Oscuro = Dark Fire Christine Feehan / Βιβλίο Χαρτόδετο
common.buy 7.86 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Βιβλίο Χαρτόδετο
common.buy 27.32 €

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.

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Deductive verification of object-oriented software
Συγγραφέας Benjamin Weiß
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετο
Ημερομηνία έκδοσης 2014
Αριθμός σελίδων 292
EAN 9783866446236
Κωδικός Libristo 01877574
ΕΕκδοτικός οίκος Karlsruher Institut Fur Technologie
Βάρος 467
Διαστάσεις 170 x 244 x 16
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Crop Improvement Khalid Rehman Hakeem / Βιβλίο Σκληρόδετο
common.buy 205.15 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Βιβλίο Χαρτόδετο
common.buy 30.65 €
Living with Breast Cancer Jennifer A. Shin / ebook Adobe ePub DRM
common.buy 28.53 €
Higher-Order Logic and Type Theory John L. Bell / Βιβλίο Χαρτόδετο
common.buy 27.43 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Βιβλίο Σκληρόδετο
common.buy 41.04 €
Προετοιμαζουμε
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Βιβλίο Χαρτόδετο
common.buy 9.67 €
Eli's Honor: Second Edition Amy Gregory / Βιβλίο Χαρτόδετο
common.buy 13.71 €
Category Theory in Context Riehl / Βιβλίο Χαρτόδετο
common.buy 28.43 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Βιβλίο Χαρτόδετο
common.buy 27.22 €
Shakespeare: Poems William Shakespeare / Βιβλίο Σκληρόδετο
common.buy 14.72 €
Blind Vision Peter Toh / Βιβλίο Σκληρόδετο
common.buy 32.57 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Βιβλίο Χαρτόδετο
common.buy 19.05 €
Confessions of a Chelsea Boy Spencer Matthews / Βιβλίο Χαρτόδετο
common.buy 22.28 €
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Βιβλίο Χαρτόδετο
common.buy 13.51 €
Weather Kristin Baird Rattini / Βιβλίο Χαρτόδετο
common.buy 5.84 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Βιβλίο Χαρτόδετο
common.buy 60.41 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;