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ł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.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 80 b
143.22 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

Nawet do 30 dni na zwrot

Klienci kupili także

LE PAROLE ADDOMESTICATE ILARIA SWAMI PETTENATI / Książka Miękka
common.buy 51.83 zł
Šimonovy pracovní listy 24 Kateřina Konvalinková / Książka Miękka
common.buy 21.09 zł
By Disaster or by Design? Davide Brocchi / Książka Twarda
common.buy 135.33 zł
Naturzeit mit Kindern: Ostseeküste Mecklenburg-Vorpommern Stefanie Holtkamp / Książka Miękka
common.buy 85.43 zł
LITCHI HIKARI CLUB Usamaru FURUYA Książka Miękka
common.buy 103.16 zł
Dépêche-toi, ta vie n'attend plus que toi ! Catalan-Massé / Książka Miękka
common.buy 50.40 zł
Sermons Et Panégyriques... Paul Cesar De Ciceri / Książka Miękka
common.buy 111.97 zł
La lógica del terrorismo LUIS DE LA CORTE IBAÑEZ / Książka Miękka
common.buy 102.24 zł
Cyrano de Bergerac d'Edmond Rostand Isabelle Consiglio / Książka Miękka
common.buy 58.69 zł
Der kleine Hase findet einen Freund Ulrich Maske / Książka Twarda
common.buy 64.23 zł
Il monitoraggio delle funzioni vitali nel perioperatorio non cardiochirurgico Biagino Allaria / Książka Miękka
common.buy 218.72 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ć

Education in the Development of Tanzania, 1919-90 Lene Buchert / Książka Twarda
common.buy 296.89 zł
Beginning Angular with Typescript (updated to Angular 9) GREG LIM / Książka Miękka
common.buy 64.23 zł
Heidegger und Boss's Daseinsanalyse und eine Integration mit dem Taoismus JACOB GLAZIER / Książka Miękka
common.buy 189.32 zł
Haym by George Jackson Grin / E-book Adobe ePub DRM
common.buy 19.97 zł
Applied Social Science for Early Years Ewan Ingleby / E-book Adobe ePub DRM
common.buy 163.60 zł
Regional Development in Western Europe Hugh Clout / Książka Miękka
common.buy 253.55 zł
Returning Russell J Perry / Książka Miękka
common.buy 52.34 zł
Anti-Electra Elisabeth von Samsonow / Książka Miękka
common.buy 120.47 zł
The Silent Films of Marion Davies Edward Lorusso / Książka Miękka
common.buy 147.72 zł
The Golden Room: A Practical Guide for Death with Dignity Lynn Keegan / Książka Miękka
common.buy 56.34 zł
Uterine Cancer Shalini Rajaram / Książka Miękka
common.buy 522.89 zł
Computational Science and Its Applications ? ICCSA 2024 Workshops Beniamino Murgante / Książka Miękka
common.buy 578.83 zł
TOP
Don't Let Me Go Kelsie Rae / Książka Miękka
common.buy 68.32 zł
Theory and Concepts of Neuroscience Vin Lopez / Książka Twarda
common.buy 319.53 zł
Handbook Of Spatial Research Paradigms And Methodologies Nigel Foreman / Książka Miękka
common.buy 338.89 zł
Devoted to the Goddess Malcolm McLean / Książka Twarda
common.buy 407.54 zł
Managing Software Engineering Knowledge A. Aurum / Książka Twarda
common.buy 445.65 zł
Fundamentals of Thermodynamics and Applications Ingo Müller / Książka Twarda
common.buy 712.22 zł
Industrial Excellence Christoph H. Loch / Książka Miękka
common.buy 218.72 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 55.62 zł
Practice Makes Perfect Mastering Grammar Gary Muschla / Książka Miękka
common.buy 77.75 zł
Reclaiming the Political in Latin American History Gilbert M. Joseph / Książka Twarda
common.buy 604.65 zł
Socialism the Active Utopia (Routledge Revivals) Zygmunt Bauman / Książka Twarda
common.buy 1 016.81 zł
Blood Running Through My Veins Elvin Thompson / Książka Miękka
common.buy 51.32 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?