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 Software Verification - The KeY Book

From Theory to Practice

Limba englezăengleză
Carte Carte broșată
Carte Deductive Software Verification - The KeY Book Wolfgang Ahrendt
Codul Libristo: 15195022
Editura Springer International Publishing AG, decembrie 2016
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It... Descrierea completă
? points 315 b
682.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Der Toyota Weg Jeffrey K. Liker / Carte Copertă tare
common.buy 186.64 lei
À la gauche du Christ Denis Pelletier / Carte Carte broșată
common.buy 85.78 lei
LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT / Carte Carte
common.buy 73.82 lei
Le goût de la papaye ELISA MACELLARI / Carte Copertă tare
common.buy 144.42 lei
MENDIZABAL:GuÆa Elabo.Inform.ClÆn.Logo+e MENDIZáBAL DE LA CRUZ / Carte Carte
common.buy 221.06 lei
LULU GRENADINE SOIGNE BIEN SA Laurence Gillot / Carte Carte broșată
common.buy 43.56 lei
Suposições: como você sabe o que sabe? Simone Marie Berthe Medina Wolfgang / Carte Carte broșată
common.buy 227.40 lei
MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus / Carte Carte broșată
common.buy 46.78 lei
Tajemství závoje Soňa Bulbeck / Carte Carte broșată
common.buy 66.44 lei
tempesta Celine Claire / Carte Copertă tare
common.buy 85.05 lei
Wieso? Weshalb? Warum? Sonderband junior: Kennst du Formen, Farben, Gegensätze, Zahlen? Doris Rübel / Carte Carte broșată
common.buy 75.38 lei
Lectures Découverte N0 Adolescents:: Chiens et chats - CD audio Dominique Renaud / Audio Audio CD
common.buy 46.16 lei
Infernal Wagon Alexandre Emerit / Joc / Jucărie Joc
common.buy 94.20 lei
EL COLOR DE LOS SENTIDOS ROLDAN / Carte Carte
common.buy 112.81 lei
Das vegane High-Protein-Kochbuch Daniela Ruppert / Carte Carte broșată
common.buy 94.41 lei
Přízrační příbuzní / Carte Foaie
common.buy 84.42 lei
Dvorac duše Judith Bouilloc / Carte Copertă tare
common.buy 87.02 lei
Brittisches Museum Sloane Hans Sloane / Carte Carte broșată
common.buy 134.03 lei
Materialien und Kopiervorlagen zu Hans Peter Richter 'Damals war es Friedrich' Tanja Kraus / Carte Carte broșată
common.buy 105.43 lei
Rencontres Sous X D. Van Cauwelaert / Carte Carte broșată
common.buy 58.43 lei
Peter Weiss' «Viet Nam Diskurs»: Moeglichkeiten und Formen eines Engagements fuer die Dritte Welt Hyeong Shik Kim / Carte Carte broșată
common.buy 432.67 lei
Diagnóstico avanzado de fallas automotrices. Tecnología automotriz: mantenimiento y reparación de vehículos Denton / Carte Carte broșată
common.buy 179.26 lei
Le Commerce Et La Colonisation A Madagascar FOUCART-G / Carte Carte broșată
common.buy 154.61 lei
Ecoles Et Emplois Publics En Algerie. Guide Du Candidat Aux Fonctions Publiques En Algerie BACRI-L / Carte Carte broșată
common.buy 106.05 lei

Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.

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 Software Verification - The KeY Book
Autor Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Limba engleză
Legare Carte - Carte broșată
Data publicării 2016
Număr pagini 702
EAN 9783319498119
ISBN 3319498118
Codul Libristo 15195022
Editura Springer International Publishing AG
Greutatea 1095
Dimensiuni 155 x 235 x 40

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Top
Panzerwrecks 22 Lee Archer / Carte Carte broșată
common.buy 106.99 lei
Nouns and Verbs Have a Field Day Robin Pulver / Carte Carte broșată
common.buy 43.04 lei
Top
Kinslayer Jay Kristoff / Carte Carte broșată
common.buy 104.39 lei
Top
Dorohedoro, Vol. 3 Q Hayashida / Carte Carte broșată
common.buy 77.25 lei
Better Spelling in 30 Minutes a Day Harry H. Crosby / Carte Carte broșată
common.buy 69.24 lei
Panther on the Battlefield 2: World War Two Photobook Series Peter Barnaky / Carte Copertă tare
common.buy 153.78 lei
Vineland Anonymus / Carte Carte broșată
common.buy 64.98 lei
Booger Franklin E Wales / Carte Carte broșată
common.buy 76.63 lei
Economic power: A simple guide to wealth and power MS Joyce Wolayo / Carte Carte broșată
common.buy 304.66 lei
Aspects of British Economic History A. C. Pigou / Carte Carte broșată
common.buy 337.83 lei
Beachcomber's Companion 1000 Piece Puzzle With Shaped Pieces Galison / Joc / Jucărie Puzzle
common.buy 117.18 lei
The Tin Nib: Short Stories Barbara Sullivan / Carte Carte broșată
common.buy 56.97 lei
The Poets And Poetry Of Chester County, Pennsylvania (1890) George Johnston / Carte Carte broșată
common.buy 173.64 lei
Putin Richard Sakwa / E-book Adobe ePub DRM
common.buy 373.50 lei
Transformation Bill Phillips / E-book Adobe ePub DRM
common.buy 75.38 lei
Wild and Wrangled Lyla Sage / E-book Adobe ePub DRM
common.buy 37.42 lei
Park Chung Hee Era Byung Kook Kim / Carte Carte broșată
common.buy 195.48 lei
Making Your Primary School E-safe KATZ ADRIENNE / Carte Carte broșată
common.buy 103.97 lei
Deaths and Burials in St. Mary's County, Maryland Leona A Cryer / Carte Carte broșată
common.buy 202.45 lei
Essays on Philosophy in Australia Jan J. T. Srzednicki / Carte Carte broșată
common.buy 852.56 lei
Curând
It Takes a Village Hillary Rodham Clinton / Carte Carte broșată
common.buy 54.58 lei
Galtung and Ruge Revisited: News Values in Greece Constantinos Akrivos / Carte Carte broșată
common.buy 197.87 lei
Roman Catholic Church and the Home Rule Movement in Ireland, 1870-1874 Emmet Larkin / Carte Carte broșată
common.buy 349.06 lei
Dead Reign Naomi Anderson / Carte Carte broșată
common.buy 126.23 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?