Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Security

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha From Formal Semantics to Verified Slicing Daniel Wasserrab
Libristo kód: 01877555
Nakladatelství Karlsruher Institut Fur Technologie, srpen 2014
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is base... Celý popis
? points 75 b
754 Kč
Skladem u dodavatele Odesíláme za 8-11 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

LE PAROLE ADDOMESTICATE ILARIA SWAMI PETTENATI / Kniha Brožovaná
common.buy 275 Kč
Šimonovy pracovní listy 24 Kateřina Konvalinková / Kniha Brožovaná
common.buy 127 Kč
By Disaster or by Design? Davide Brocchi / Kniha Pevná
common.buy 713 Kč
Il monitoraggio delle funzioni vitali nel perioperatorio non cardiochirurgico Biagino Allaria / Kniha Brožovaná
common.buy 1 155 Kč
Naturzeit mit Kindern: Ostseeküste Mecklenburg-Vorpommern Stefanie Holtkamp / Kniha Brožovaná
common.buy 479 Kč
Der kleine Hase findet einen Freund Ulrich Maske / Kniha Pevná
common.buy 359 Kč
LITCHI HIKARI CLUB Usamaru FURUYA Kniha Brožovaná
common.buy 580 Kč
Dépêche-toi, ta vie n'attend plus que toi ! Catalan-Massé / Kniha Brožovaná
common.buy 283 Kč
Sermons Et Panégyriques... Paul Cesar De Ciceri / Kniha Brožovaná
common.buy 587 Kč
La lógica del terrorismo LUIS DE LA CORTE IBAÑEZ / Kniha Brožovaná
common.buy 572 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název From Formal Semantics to Verified Slicing
Autor Daniel Wasserrab
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 224
EAN 9783866445949
Libristo kód 01877555
Nakladatelství Karlsruher Institut Fur Technologie
Váha 272
Rozměry 148 x 210 x 12

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Top
Making Magic: The Sweet Life of a Witch Who Knows an Infinite MP Loophole: Volume 1 (Light Novel) Tetubuta / Kniha Brožovaná
common.buy 272 Kč
Top
Don't Let Me Go Kelsie Rae / Kniha Brožovaná
common.buy 335 Kč
Computational Science and Its Applications ? ICCSA 2024 Workshops Beniamino Murgante / Kniha Brožovaná
common.buy 3 062 Kč
Applied Social Science for Early Years Ewan Ingleby / E-kniha Adobe ePub DRM
common.buy 920 Kč
Haym by George Jackson Grin / E-kniha Adobe ePub DRM
common.buy 113 Kč
Heidegger und Boss's Daseinsanalyse und eine Integration mit dem Taoismus JACOB GLAZIER / Kniha Brožovaná
common.buy 997 Kč
Regional Development in Western Europe Hugh Clout / Kniha Brožovaná
common.buy 1 355 Kč
Returning Russell J Perry / Kniha Brožovaná
common.buy 275 Kč
Anti-Electra Elisabeth von Samsonow / Kniha Brožovaná
common.buy 647 Kč
The Silent Films of Marion Davies Edward Lorusso / Kniha Brožovaná
common.buy 784 Kč
The Golden Room: A Practical Guide for Death with Dignity Lynn Keegan / Kniha Brožovaná
common.buy 299 Kč
Uterine Cancer Shalini Rajaram / Kniha Brožovaná
common.buy 2 762 Kč
Theory and Concepts of Neuroscience Vin Lopez / Kniha Pevná
common.buy 1 690 Kč
Handbook Of Spatial Research Paradigms And Methodologies Nigel Foreman / Kniha Brožovaná
common.buy 1 811 Kč
Modern Tagalog Teresita V. Ramos / Kniha Brožovaná
common.buy 472 Kč
It's Cool to Learn About Countries Democratic Republic of Congo G. S. Prentzas / Kniha Pevná
common.buy 747 Kč
Ordered Data Analysis, Modeling and Health Research Methods Pankaj Choudhary / Kniha Pevná
common.buy 2 357 Kč
Madonna Complex Debra Laino / Kniha Brožovaná
common.buy 354 Kč
Blood Running Through My Veins Elvin Thompson / Kniha Brožovaná
common.buy 274 Kč
Socialism the Active Utopia (Routledge Revivals) Zygmunt Bauman / Kniha Pevná
common.buy 5 435 Kč
Reclaiming the Political in Latin American History Gilbert M. Joseph / Kniha Pevná
common.buy 3 227 Kč
Practice Makes Perfect Mastering Grammar Gary Muschla / Kniha Brožovaná
common.buy 408 Kč
Managing Software Engineering Knowledge A. Aurum / Kniha Pevná
common.buy 2 357 Kč
Fundamentals of Thermodynamics and Applications Ingo Müller / Kniha Pevná
common.buy 3 767 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?