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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

From Formal Semantics to Verified Slicing

A Modular Framework with Applications in Language Based Security

Limba englezăengleză
Carte Carte broșată
Carte From Formal Semantics to Verified Slicing Daniel Wasserrab
Codul Libristo: 01877555
Editura Karlsruher Institut Fur Technologie, august 2014
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is base... Descrierea completă
? points 80 b
173.59 lei
În depozitul extern Expediem în 8-11 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

LE PAROLE ADDOMESTICATE ILARIA SWAMI PETTENATI / Carte Carte broșată
common.buy 66.08 lei
Šimonovy pracovní listy 24 Kateřina Konvalinková / Carte Carte broșată
common.buy 25.59 lei
By Disaster or by Design? Davide Brocchi / Carte Copertă tare
common.buy 164.01 lei
Naturzeit mit Kindern: Ostseeküste Mecklenburg-Vorpommern Stefanie Holtkamp / Carte Carte broșată
common.buy 103.54 lei
LITCHI HIKARI CLUB Usamaru FURUYA Carte Carte broșată
common.buy 125.09 lei
Dépêche-toi, ta vie n'attend plus que toi ! Catalan-Massé / Carte Carte broșată
common.buy 61.08 lei
Sermons Et Panégyriques... Paul Cesar De Ciceri / Carte Carte broșată
common.buy 144.34 lei
La lógica del terrorismo LUIS DE LA CORTE IBAÑEZ / Carte Carte broșată
common.buy 123.94 lei
Cyrano de Bergerac d'Edmond Rostand Isabelle Consiglio / Carte Carte broșată
common.buy 71.07 lei
Der kleine Hase findet einen Freund Ulrich Maske / Carte Copertă tare
common.buy 77.84 lei
Il monitoraggio delle funzioni vitali nel perioperatorio non cardiochirurgico Biagino Allaria / Carte Carte broșată
common.buy 265.07 lei

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.

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 From Formal Semantics to Verified Slicing
Autor Daniel Wasserrab
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 224
EAN 9783866445949
Codul Libristo 01877555
Editura Karlsruher Institut Fur Technologie
Greutatea 272
Dimensiuni 148 x 210 x 12

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Education in the Development of Tanzania, 1919-90 Lene Buchert / Carte Copertă tare
common.buy 359.77 lei
Beginning Angular with Typescript (updated to Angular 9) GREG LIM / Carte Carte broșată
common.buy 81.69 lei
Heidegger und Boss's Daseinsanalyse und eine Integration mit dem Taoismus JACOB GLAZIER / Carte Carte broșată
common.buy 229.47 lei
Haym by George Jackson Grin / E-book Adobe ePub DRM
common.buy 24.24 lei
Applied Social Science for Early Years Ewan Ingleby / E-book Adobe ePub DRM
common.buy 198.25 lei
Regional Development in Western Europe Hugh Clout / Carte Carte broșată
common.buy 320.96 lei
Returning Russell J Perry / Carte Carte broșată
common.buy 67.43 lei
Anti-Electra Elisabeth von Samsonow / Carte Carte broșată
common.buy 146.11 lei
The Silent Films of Marion Davies Edward Lorusso / Carte Carte broșată
common.buy 188.16 lei
The Golden Room: A Practical Guide for Death with Dignity Lynn Keegan / Carte Carte broșată
common.buy 71.70 lei
Uterine Cancer Shalini Rajaram / Carte Carte broșată
common.buy 633.70 lei
Computational Science and Its Applications ? ICCSA 2024 Workshops Beniamino Murgante / Carte Carte broșată
common.buy 701.56 lei
Top
Don't Let Me Go Kelsie Rae / Carte Carte broșată
common.buy 87.93 lei
Theory and Concepts of Neuroscience Vin Lopez / Carte Copertă tare
common.buy 408.07 lei
Handbook Of Spatial Research Paradigms And Methodologies Nigel Foreman / Carte Carte broșată
common.buy 451.67 lei
Devoted to the Goddess Malcolm McLean / Carte Copertă tare
common.buy 493.93 lei
Managing Software Engineering Knowledge A. Aurum / Carte Copertă tare
common.buy 540.14 lei
Fundamentals of Thermodynamics and Applications Ingo Müller / Carte Copertă tare
common.buy 863.18 lei
Industrial Excellence Christoph H. Loch / Carte Carte broșată
common.buy 265.07 lei
Top
Making Magic: The Sweet Life of a Witch Who Knows an Infinite MP Loophole: Volume 1 (Light Novel) Tetubuta / Carte Carte broșată
common.buy 71.70 lei
Practice Makes Perfect Mastering Grammar Gary Muschla / Carte Carte broșată
common.buy 100.11 lei
Reclaiming the Political in Latin American History Gilbert M. Joseph / Carte Copertă tare
common.buy 765.87 lei
Socialism the Active Utopia (Routledge Revivals) Zygmunt Bauman / Carte Copertă tare
common.buy 1 286.98 lei
Blood Running Through My Veins Elvin Thompson / Carte Carte broșată
common.buy 65.24 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?