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

Formal Methods for Industrial Critical Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods for Industrial Critical Systems Frédéric Lang
Libristo kód: 05147916
Nakladatelství Springer International Publishing AG, srpna 2014
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Ind... 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

Journey to the Centre of the Earth Jules Verne / Brožovaná
common.buy 214 Kč
Flower of Paradise David J. Rothenberg / Pevná
common.buy 1 877 Kč
City-Memo, Hamburg / Hra
common.buy 388 Kč
Economics of Money, Banking and Financial Markets Mishkin Frederic S. / Brožovaná
common.buy 2 568 Kč
Boolean Functions Yves Crama / Pevná
common.buy 5 470 Kč
Nigerian History, Politics And Affairs / Brožovaná
common.buy 1 153 Kč
Children's Books and Their Illustrators Gleeson White / Brožovaná
common.buy 622 Kč
Woman's Life Mgnus Shulamit / Pevná
common.buy 2 020 Kč
Gdh 2000 - The Gerasimov-drell-hearn Sum Rule & The Nucleon Spin Structure In The Resonance Region / Pevná
common.buy 6 665 Kč
Grove Book of Operas Laura Sadie / Brožovaná
common.buy 645 Kč
Gruppenunterstutzende Systeme in Forschung Und Entwicklung Holger Wohlenberg / Brožovaná
common.buy 1 403 Kč
Připravujeme
Egg Sally Grindley / Brožovaná
common.buy 136 Kč
Wiley Concise Guides to Mental Health Nicholas R. Lessa / Brožovaná
common.buy 1 753 Kč
Switch Carol Snow / Brožovaná
common.buy 208 Kč
Turf Problem Solver Alfred J. Turgeon / Pevná
common.buy 2 885 Kč

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

Informace o knize

Plný název Formal Methods for Industrial Critical Systems
Autor Frédéric Lang, Francesco Flammini
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 201
EAN 9783319107011
ISBN 3319107011
Libristo kód 05147916
Nakladatelství Springer International Publishing AG
Váha 3343
Rozměry 155 x 235 x 12

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
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 > Architektura počítače a logic design
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