phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Verified Software: Theories, Tools and Experiments

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Software: Theories, Tools and Experiments Dimitra Giannakopoulou
Libristo kód: 06841788
Nakladatelství Springer International Publishing AG, října 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Webster's First Bunker Hill Oration, 1825 Andrew Jackson George Daniel Webster / Brožovaná
common.buy 361 Kč
Cure Varley O'Connor / Pevná
common.buy 527 Kč
Psychology of Personality James T. Lamiell / Pevná
common.buy 3 213 Kč
Contribution La Mod lisation Num rique de la R ponse Sismique Abdelghani Seghir / Brožovaná
common.buy 2 938 Kč
Grayshott J.H. Smith / Brožovaná
common.buy 338 Kč
Die Versorgung des Brandverletzten im Katastrophenfall Band 2 P. R. Zellner / Brožovaná
common.buy 1 948 Kč
Anna May Wong Chei Mi Lane / Brožovaná
common.buy 947 Kč
Selfish Gene Philosophy Gerald Alper / Pevná
common.buy 1 266 Kč
Actitud de los docentes hacia un nuevo modelo educativo Gilberto Hernández Barrera / Brožovaná
common.buy 829 Kč
FIRST BOOK MSOPA SOLOS PT 2 BK2CD Hal Leonard Corp / Brožovaná
common.buy 642 Kč
Process Chemistry of Petroleum Macromolecules Irwin A. Wiehe / Pevná
common.buy 7 803 Kč
Genealogies of Long Island Families, from The New York Genealogical and Biographical Record. In Two Volumes. Volume I Island Long Island / Brožovaná
common.buy 2 148 Kč
Poems of Praise and Worship Shane Dale Anders / Brožovaná
common.buy 307 Kč

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

Informace o knize

Plný název Verified Software: Theories, Tools and Experiments
Autor Dimitra Giannakopoulou, Daniel Kroening
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 287
EAN 9783319121536
ISBN 3319121537
Libristo kód 06841788
Nakladatelství Springer International Publishing AG
Váha 4569
Rozměry 155 x 235 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

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