A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Deductive Software Verification - The KeY Book

From Theory to Practice

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Deductive Software Verification - The KeY Book Wolfgang Ahrendt
Libristo kód: 15195022
Kiadó Springer International Publishing AG, december 2016
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It... Teljes leírás
? points 325 b
47 950 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Der Toyota Weg Jeffrey K. Liker / Könyv Kemény kötésű
common.buy 12 723 Ft
À la gauche du Christ Denis Pelletier / Könyv Puha kötésű
common.buy 5 861 Ft
LEONARDO DA VINCI - GRANDES MAESTROS HOHENSTATT / Könyv Könyv
common.buy 5 032 Ft
Le goût de la papaye ELISA MACELLARI / Könyv Kemény kötésű
common.buy 9 846 Ft
MENDIZABAL:GuÆa Elabo.Inform.ClÆn.Logo+e MENDIZáBAL DE LA CRUZ / Könyv Könyv
common.buy 15 060 Ft
LULU GRENADINE SOIGNE BIEN SA Laurence Gillot / Könyv Puha kötésű
common.buy 2 984 Ft
Suposições: como você sabe o que sabe? Simone Marie Berthe Medina Wolfgang / Könyv Puha kötésű
common.buy 16 019 Ft
MEMOBREVET FICH REVI HIS GEO 3 Martine Lassus / Könyv Puha kötésű
common.buy 3 189 Ft
Hamarosan
Tajemství závoje Soňa Bulbeck / Könyv Puha kötésű
common.buy 4 534 Ft
tempesta Celine Claire / Könyv Kemény kötésű
common.buy 5 801 Ft
Wieso? Weshalb? Warum? Sonderband junior: Kennst du Formen, Farben, Gegensätze, Zahlen? Doris Rübel / Könyv Puha kötésű
common.buy 5 298 Ft
Hamarosan
Lectures Découverte N0 Adolescents:: Chiens et chats - CD audio Dominique Renaud / Hanganyagok Audio CD
common.buy 2 984 Ft
Infernal Wagon Alexandre Emerit / Játék Játék
common.buy 6 615 Ft
EL COLOR DE LOS SENTIDOS ROLDAN / Könyv Könyv
common.buy 7 663 Ft
Das vegane High-Protein-Kochbuch Daniela Ruppert / Könyv Puha kötésű
common.buy 6 657 Ft
Přízrační příbuzní / Könyv Lap
common.buy 5 759 Ft
Dvorac duše Judith Bouilloc / Könyv Kemény kötésű
common.buy 6 597 Ft
Brittisches Museum Sloane Hans Sloane / Könyv Puha kötésű
common.buy 9 432 Ft
Materialien und Kopiervorlagen zu Hans Peter Richter 'Damals war es Friedrich' Tanja Kraus / Könyv Puha kötésű
common.buy 7 397 Ft
Rencontres Sous X D. Van Cauwelaert / Könyv Puha kötésű
common.buy 3 985 Ft
Peter Weiss' «Viet Nam Diskurs»: Moeglichkeiten und Formen eines Engagements fuer die Dritte Welt Hyeong Shik Kim / Könyv Puha kötésű
common.buy 29 510 Ft
Diagnóstico avanzado de fallas automotrices. Tecnología automotriz: mantenimiento y reparación de vehículos Denton / Könyv Puha kötésű
common.buy 12 206 Ft
Le Commerce Et La Colonisation A Madagascar FOUCART-G / Könyv Puha kötésű
common.buy 10 819 Ft
Ecoles Et Emplois Publics En Algerie. Guide Du Candidat Aux Fonctions Publiques En Algerie BACRI-L / Könyv Puha kötésű
common.buy 7 439 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Deductive Software Verification - The KeY Book
Szerző Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2016
Oldalszám 702
EAN 9783319498119
ISBN 3319498118
Libristo kód 15195022
Kiadó Springer International Publishing AG
Súly 1095
Méretek 155 x 235 x 40

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Toplistás
Panzerwrecks 22 Lee Archer / Könyv Puha kötésű
common.buy 7 295 Ft
Nouns and Verbs Have a Field Day Robin Pulver / Könyv Puha kötésű
common.buy 3 054 Ft
Toplistás
Kinslayer Jay Kristoff / Könyv Puha kötésű
common.buy 7 365 Ft
Toplistás
Dorohedoro, Vol. 3 Q Hayashida / Könyv Puha kötésű
common.buy 5 698 Ft
Better Spelling in 30 Minutes a Day Harry H. Crosby / Könyv Puha kötésű
common.buy 4 888 Ft
Panther on the Battlefield 2: World War Two Photobook Series Peter Barnaky / Könyv Kemény kötésű
common.buy 12 490 Ft
Vineland Anonymus / Könyv Puha kötésű
common.buy 4 576 Ft
Booger Franklin E Wales / Könyv Puha kötésű
common.buy 5 386 Ft
Economic power: A simple guide to wealth and power MS Joyce Wolayo / Könyv Puha kötésű
common.buy 21 377 Ft
Aspects of British Economic History A. C. Pigou / Könyv Puha kötésű
common.buy 23 621 Ft
Beachcomber's Companion 1000 Piece Puzzle With Shaped Pieces Galison / Játék Puzzle
common.buy 8 282 Ft
The Tin Nib: Short Stories Barbara Sullivan / Könyv Puha kötésű
common.buy 3 985 Ft
The Poets And Poetry Of Chester County, Pennsylvania (1890) George Johnston / Könyv Puha kötésű
common.buy 12 178 Ft
Putin Richard Sakwa / E-könyv Adobe ePub DRM
common.buy 25 627 Ft
Transformation Bill Phillips / E-könyv Adobe ePub DRM
common.buy 5 167 Ft
Wild and Wrangled Lyla Sage / E-könyv Adobe ePub DRM
common.buy 2 556 Ft
Park Chung Hee Era Byung Kook Kim / Könyv Puha kötésű
common.buy 13 184 Ft
Making Your Primary School E-safe KATZ ADRIENNE / Könyv Puha kötésű
common.buy 7 085 Ft
Deaths and Burials in St. Mary's County, Maryland Leona A Cryer / Könyv Puha kötésű
common.buy 13 021 Ft
Essays on Philosophy in Australia Jan J. T. Srzednicki / Könyv Puha kötésű
common.buy 59 904 Ft
Hamarosan
It Takes a Village Hillary Rodham Clinton / Könyv Puha kötésű
common.buy 3 720 Ft
Galtung and Ruge Revisited: News Values in Greece Constantinos Akrivos / Könyv Puha kötésű
common.buy 13 933 Ft
Roman Catholic Church and the Home Rule Movement in Ireland, 1870-1874 Emmet Larkin / Könyv Puha kötésű
common.buy 25 404 Ft
Dead Reign Naomi Anderson / Könyv Puha kötésű
common.buy 8 859 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?