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 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Formal Techniques for Safety-Critical Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Techniques for Safety-Critical Systems Cyrille Artho
Libristo kód: 09249874
Nakladatelství Springer International Publishing AG, dubna 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Leselampe Flexilight Blue Words / Hračka
common.buy 252 Kč
Best Easy Day Hikes Death Valley National Park Bill Cunningham / Brožovaná
common.buy 371 Kč
Entschuldige, ich liebe Dich!, 1 DVD Joaquin Llamas / DVD
common.buy 211 Kč
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Pevná
common.buy 192 Kč
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Brožovaná
common.buy 321 Kč
Die Formeln der Erfolgreichsten - Teil 1 John Train / Brožovaná
common.buy 687 Kč
Die Politisierung Des Islam Wilfried Röhrich / Brožovaná
common.buy 583 Kč
Snow Angels, Secrets and Christmas Cake SUE WATSON / Brožovaná
common.buy 372 Kč
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Brožovaná
common.buy 1 057 Kč
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Pevná
common.buy 2 902 Kč
East Side Story Max Heinrichs / Brožovaná
common.buy 291 Kč

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Informace o knize

Plný název Formal Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 257
EAN 9783319175805
ISBN 3319175807
Libristo kód 09249874
Nakladatelství Springer International Publishing AG
Váha 4102
Rozměry 155 x 235 x 14

Kategorie

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 > 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