Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Limba englezăengleză
Carte Carte broșată
Carte Deductive verification of object-oriented software Benjamin Weiß
Codul Libristo: 01877574
Editura Karlsruher Institut Fur Technologie, august 2014
Software systems play a central role in modern society, and their correctness is often crucially imp... Descrierea completă
? points 75 b
161.41 lei
În depozitul extern Expediem în 8-11 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Eine Konigin Ottilie Wildermuth / Carte Carte broșată
common.buy 45.17 lei
El País de la Canela / The Land of Cinnamon Ospina / Carte Carte broșată
common.buy 92.33 lei
Zápisník LUX fauna, flora II NEW10x7,5 cm / Articole de papetărie Articole de papetărie
common.buy 12.97 lei
Das kulinarische Erbe der Alpen Dominik Flammer / Carte Copertă tare
common.buy 363.44 lei
Vertragsfolgen ohne Vertrag. Michael Litterer / Carte Carte broșată
common.buy 280.13 lei
Un Maldito Maricón - A Damn Faggot Fredes / Carte Carte broșată
common.buy 916.97 lei
Plv Pleine Cousins Karlsson 15 Vol. Mazetti / Carte binding.
common.buy 681.18 lei
L'expérience esthétique - une archéologie des arts et de la communication Olivesi / Carte Carte broșată
common.buy 265.17 lei
Die Bauernbewegung In Der Ostschweiz, 1524-1525 (1898) Hans Nabholz / Carte Carte broșată
common.buy 121.73 lei
JOAQUÍN SABINA Y EL CLUB DE ROTA FRANCISCO SIERRA BALLESTEROS / Carte Copertă tare
common.buy 111.34 lei
5-Minuten-Sketche Karin Pfeiffer / Carte Foaie
common.buy 71.77 lei
Cuentos Luis Chesney Lawrence / Carte Carte broșată
common.buy 44.55 lei
Kobane Calling Zerocalcare / Carte Copertă tare
common.buy 117.47 lei
El Fuego Oscuro = Dark Fire Christine Feehan / Carte Carte broșată
common.buy 41.95 lei
Saint Augustin, Ou l'Afrique Au Ve Siecle Amand Biechy / Carte Carte broșată
common.buy 143.64 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Deductive verification of object-oriented software
Autor Benjamin Weiß
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 292
EAN 9783866446236
Codul Libristo 01877574
Editura Karlsruher Institut Fur Technologie
Greutatea 467
Dimensiuni 170 x 244 x 16
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Crop Improvement Khalid Rehman Hakeem / Carte Copertă tare
common.buy 1 134.79 lei
Introduction to Dependent Types with Idris Boro Sitnikovski / Carte Carte broșată
common.buy 161.09 lei
Living with Breast Cancer Jennifer A. Shin / E-book Adobe ePub DRM
common.buy 149.88 lei
Higher-Order Logic and Type Theory John L. Bell / Carte Carte broșată
common.buy 144.06 lei
The Law of Success in Sixteen Lessons, Lessons 14-16: Failure, Tolerance, Golden Rule Napoleon Hill / Carte Copertă tare
common.buy 215.21 lei
Curând
Secret Life of Pets Gift Book 2 LAPUSS STEPHANE / Carte Carte broșată
common.buy 54.52 lei
Eli's Honor: Second Edition Amy Gregory / Carte Carte broșată
common.buy 71.77 lei
Category Theory in Context Riehl / Carte Carte broșată
common.buy 149.05 lei
The Carved Pare: A Maori Mirror of the Universe David Simmons / Carte Carte broșată
common.buy 149.46 lei
Shakespeare: Poems William Shakespeare / Carte Copertă tare
common.buy 77.17 lei
Blind Vision Peter Toh / Carte Copertă tare
common.buy 171.07 lei
Juvenile Justice: Status of Delinquency Prevention Program and Description of Local Projects United States Government Accountability / Carte Carte broșată
common.buy 99.91 lei
Confessions of a Chelsea Boy Spencer Matthews / Carte Carte broșată
common.buy 103.86 lei
Satires of Circumstance, lyrics and reveries with miscellaneous pieces Thomas Hardy / Carte Carte broșată
common.buy 74.88 lei
Weather Kristin Baird Rattini / Carte Carte broșată
common.buy 30.53 lei
Cultural Aspects of Translation Maria del Mar Rivas-Carmona / Carte Carte broșată
common.buy 335.70 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?