Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Lingua IngleseInglese
Libro In brossura
Libro Deductive verification of object-oriented software Benjamin Weiß
Codice Libristo: 01877574
Casa editrice Karlsruher Institut Fur Technologie, agosto 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Descrizione completa
? points 75 b
30.49 €
Magazzino esterno Inviamo tra 8-11 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Eine Konigin Ottilie Wildermuth / Libro In brossura
common.buy 8.49 €
El País de la Canela / The Land of Cinnamon Ospina / Libro In brossura
common.buy 17.39 €
Zápisník LUX fauna, flora II NEW10x7,5 cm / Articoli di cancelleria Articoli di cancelleria
common.buy 2.59 €
Das kulinarische Erbe der Alpen Dominik Flammer / Libro Rigido
common.buy 68.59 €
Vertragsfolgen ohne Vertrag. Michael Litterer / Libro In brossura
common.buy 55.49 €
Un Maldito Maricón - A Damn Faggot Fredes / Libro In brossura
common.buy 173.19 €
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Libro binding.
common.buy 134.29 €
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Libro In brossura
common.buy 52.29 €
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Libro In brossura
common.buy 22.99 €
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Libro Rigido
common.buy 20.99 €
5-Minuten-Sketche Karin Pfeiffer / Libro Foglio
common.buy 14.19 €
Cuentos Luis Chesney Lawrence / Libro In brossura
common.buy 8.39 €
Kobane Calling Zerocalcare / Libro Rigido
common.buy 22.19 €
El Fuego Oscuro = Dark Fire Christine Feehan / Libro In brossura
common.buy 7.79 €
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Libro In brossura
common.buy 27.09 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Deductive verification of object-oriented software
Autore Benjamin Weiß
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 292
EAN 9783866446236
Codice Libristo 01877574
Casa editrice Karlsruher Institut Fur Technologie
Peso 467
Dimensioni 170 x 244 x 16
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Crop Improvement Khalid Rehman Hakeem / Libro Rigido
common.buy 214.29 €
Introduction to Dependent Types with Idris Boro Sitnikovski / Libro In brossura
common.buy 30.39 €
Living with Breast Cancer Jennifer A. Shin / Libro elettronico Adobe ePub DRM
common.buy 29.59 €
Higher-Order Logic and Type Theory John L. Bell / Libro In brossura
common.buy 27.19 €
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Libro Rigido
common.buy 40.69 €
In preparazione
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Libro In brossura
common.buy 10.29 €
Eli's Honor: Second Edition Amy Gregory / Libro In brossura
common.buy 13.59 €
Category Theory in Context Riehl / Libro In brossura
common.buy 28.19 €
The Carved Pare: A Maori Mirror of the Universe David Simmons / Libro In brossura
common.buy 28.19 €
Shakespeare: Poems William Shakespeare / Libro Rigido
common.buy 14.59 €
Blind Vision Peter Toh / Libro Rigido
common.buy 32.29 €
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Libro In brossura
common.buy 18.89 €
Confessions of a Chelsea Boy Spencer Matthews / Libro In brossura
common.buy 22.09 €
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Libro In brossura
common.buy 14.09 €
Weather Kristin Baird Rattini / Libro In brossura
common.buy 5.79 €
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Libro In brossura
common.buy 63.39 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?