Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Tiziana Margaria

Bernhard Steffen

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 14208641

Nakladatelství Springer International Publishing AG, říjen 2016

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th Internati... Celý popis

Libristo kód: 14208641

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Depressionen Walter Pöldinger

Brožovaná

1 763 Kč

Geliebte Fabelwesen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Kalendář

646 Kč

Vaiana 2 06 Walt Disney company

Brožovaná

221 Kč

Vintila Horia. Biografia di un esilio Maurizio Stefanini

Kniha

897 Kč

ANÁLISIS DE LA PRODUCCIÓN Y EXPORTACIÓN DE LA QUINUA BOLIVIANA Edwin Rodríguez Chávez

Brožovaná

893 Kč

Je těžké být bohem Arkadij Strugackij

Pevná

339 Kč

3 Cort?ges: Pour Clarinette Et Piano Colette Mourey

Brožovaná

362 Kč

Bibliografía sistemática y cronológica de las hablas andaluzas José Mondéjar Cumpián

Brožovaná

470 Kč

A LA RECERCA DE LES PARAULES BARANDA

Pevná

468 Kč

uomo invisibile Herbert George Wells

Pevná

382 Kč

JURASSIC WORLD. JUEGA Y COLOREA

Brožovaná

174 Kč

Análisis relacional entre variables en torno a los programas universitarios Serrano García

Brožovaná

2 408 Kč

Dějepis 7 s nadhledem 2v1 Pracovní sešit Martin Šorm

Brožovaná

113 Kč

Cirugía refractiva. Protocolo de exploración de visión binocular y acomodación MARIA GARCIA MONTERO

Brožovaná

1 747 Kč

Más generoso que la soledad YIYUN LI

Brožovaná

658 Kč

resurrection du credit, petits poemes industriels DEHEM-J

Brožovaná

315 Kč

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Autor Tiziana Margaria, Bernhard Steffen

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2016

Počet stran 974

EAN 9783319471655

ISBN 3319471651

Libristo kód 14208641

Nakladatelství Springer International Publishing AG

Váha 1480

Rozměry 155 x 235 x 56

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 > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost

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