Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Security

Język AngielskiAngielski
Książka Miękka
Książka From Formal Semantics to Verified Slicing Daniel Wasserrab
Kod Libristo: 01877555
Wydawnictwo Karlsruher Institut Fur Technologie, sierpień 2014
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is base... Cały opis
? points 75 b
135.91 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Cours de japonais pour francophone Yann Martinez / Książka Miękka
common.buy 143.77 zł
Naturzeit mit Kindern: Ostseeküste Mecklenburg-Vorpommern Stefanie Holtkamp / Książka Miękka
common.buy 70.37 zł
LE PAROLE ADDOMESTICATE ILARIA SWAMI PETTENATI / Książka Miękka
common.buy 53.73 zł
By Disaster or by Design? Davide Brocchi / Książka Twarda
common.buy 128.65 zł
La lógica del terrorismo LUIS DE LA CORTE IBAÑEZ / Książka Miękka
common.buy 114.53 zł
LITCHI HIKARI CLUB Usamaru FURUYA / Książka Miękka
common.buy 99.91 zł
Dépêche-toi, ta vie n'attend plus que toi ! Catalan-Massé / Książka Miękka
common.buy 46.67 zł
Sermons Et Panégyriques... Paul Cesar De Ciceri / Książka Miękka
common.buy 116.04 zł
Theorie des peines et des recompenses / extraits des manuscrits de Jeremie Bentham par Et. Dumont. of 3; Volume 1 Jeremy Bentham / Książka Miękka
common.buy 103.54 zł
Balzamovač 2 Mihara Mitsukazu / Książka Miękka
common.buy 30.84 zł
Cyrano de Bergerac d'Edmond Rostand Isabelle Consiglio / Książka Miękka
common.buy 55.75 zł
Der kleine Hase findet einen Freund Ulrich Maske / Książka Twarda
common.buy 63.92 zł
Il monitoraggio delle funzioni vitali nel perioperatorio non cardiochirurgico Biagino Allaria / Książka Miękka
common.buy 208.20 zł
Šimonovy pracovní listy 24 Kateřina Konvalinková / Książka Miękka
common.buy 26.71 zł

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa From Formal Semantics to Verified Slicing
Autor Daniel Wasserrab
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 224
EAN 9783866445949
Kod Libristo 01877555
Wydawnictwo Karlsruher Institut Fur Technologie
Waga 272
Wymiary 148 x 210 x 12

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Anti-Electra Elisabeth von Samsonow / Książka Miękka
common.buy 124.72 zł
Zapowiedź
Pickett's Men: A Fragment of War History Walter H. Harrison / Książka Miękka
common.buy 130.06 zł
Handbook Of Spatial Research Paradigms And Methodologies Nigel Foreman / Książka Miękka
common.buy 369.94 zł
Theory and Concepts of Neuroscience Vin Lopez / Książka Twarda
common.buy 274.65 zł
Don't Let Me Go Kelsie Rae / Książka Miękka
common.buy 70.77 zł
Computational Science and Its Applications ? ICCSA 2024 Workshops Beniamino Murgante / Książka Miękka
common.buy 552.34 zł
Uterine Cancer Shalini Rajaram / Książka Miękka
common.buy 498.19 zł
The Golden Room: A Practical Guide for Death with Dignity Lynn Keegan / Książka Miękka
common.buy 58.07 zł
Dirty Dozen: An Aston West Collection T M Hunter / Książka Miękka
common.buy 46.17 zł
The Silent Films of Marion Davies Edward Lorusso / Książka Miękka
common.buy 153.05 zł
Education in the Development of Tanzania, 1919-90 Lene Buchert / Książka Twarda
common.buy 307.42 zł
Returning Russell J Perry / Książka Miękka
common.buy 54.34 zł
Regional Development in Western Europe Hugh Clout / Książka Miękka
common.buy 276.57 zł
Diseases Of The Larynx (1885) Jacob Gottstein / Książka Miękka
common.buy 129.05 zł
Applied Social Science for Early Years Ewan Ingleby / E-book Adobe ePub DRM
common.buy 169.99 zł
Haym by George Jackson Grin / E-book Adobe ePub DRM
common.buy 20.76 zł
Heidegger und Boss's Daseinsanalyse und eine Integration mit dem Taoismus JACOB GLAZIER / Książka Miękka
common.buy 179.67 zł
Beginning Angular with Typescript (updated to Angular 9) GREG LIM / Książka Miękka
common.buy 66.44 zł
One Hundred Years Ago [microform] George Blight / Książka Miękka
common.buy 65.53 zł
Managing Software Engineering Knowledge A. Aurum / Książka Twarda
common.buy 425.09 zł
Fundamentals of Thermodynamics and Applications Ingo Müller / Książka Twarda
common.buy 679.38 zł
Industrial Excellence Christoph H. Loch / Książka Miękka
common.buy 208.20 zł
Direct to IELTS Student's Book + key & Webcode Pack Sam McCarter / Książka Miękka
common.buy 131.37 zł
TOP
Making Magic: The Sweet Life of a Witch Who Knows an Infinite MP Loophole: Volume 1 (Light Novel) Tetubuta / Książka Miękka
common.buy 57.36 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?