Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

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, duben 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... Celý popis
? points 125 b
1 250 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Ciekawski George i jego sen MARGRET REY / Kniha Brožovaná
common.buy 81 Kč
BABADADA, slovenčina - Arabic (in arabic script), obrazkovy slovnik - visual dictionary (in arabic script) Babadada Gmbh / Kniha Brožovaná
common.buy 651 Kč
Připravujeme
Dialogy s vnitřním kritikem Boleslav Keprt / Kniha Brožovaná
common.buy 312 Kč
El Derecho en Puerto Rico Fraticelli Torres / Kniha Brožovaná
common.buy 483 Kč
Mobilitätschancen für Lehrer in Deutschland und Europa Hermann Avenarius / Kniha Brožovaná
common.buy 501 Kč
Oeuvres Completes de Moliere. Tome 5. George Dandin. Moliere / Kniha Brožovaná
common.buy 790 Kč
Entschuldige, ich liebe Dich!, 1 DVD Joaquin Llamas / Video DVD
common.buy 197 Kč
Leselampe Flexilight Blue Words / Hra/Hračka Hračka
common.buy 246 Kč
Die Politisierung Des Islam Wilfried Röhrich / Kniha Brožovaná
common.buy 348 Kč
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Kniha Brožovaná
common.buy 906 Kč
Die Formeln der Erfolgreichsten - Teil 1 John Train / Kniha Brožovaná
common.buy 586 Kč
East Side Story Max Heinrichs / Kniha Brožovaná
common.buy 228 Kč
Les Pays Etrangers Et l'Exposition de 1878. La Russie Et l'Exposition de 1878, (Ed.1878) Louis Leger / Kniha Brožovaná
common.buy 524 Kč
Robert Frank: Away Robert Frank / Kniha Brožovaná
common.buy 843 Kč
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Kniha Pevná
common.buy 168 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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

Best Easy Day Hikes Death Valley National Park Bill Cunningham / Kniha Brožovaná
common.buy 337 Kč
Little Bells and Other Verses for Children Joyce Taylor / Kniha Pevná
common.buy 619 Kč
Aim Straight at the Fountain and Press Vaporize Elizabeth Marie Young / Kniha Brožovaná
common.buy 318 Kč
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Kniha Pevná
common.buy 2 287 Kč
Doc Vincent M. Mallozzi / Kniha Pevná
common.buy 525 Kč
SemProM Wolfgang Wahlster / Kniha Brožovaná
common.buy 2 492 Kč
Scheduling Without Conflict Weldon Burge / Kniha Brožovaná
common.buy 1 311 Kč
Puppy Parenting in an Apartment Cassie Leigh / Kniha Brožovaná
common.buy 250 Kč
Top
Zeus Grants Stupid Wishes Cory OBrien / Kniha Brožovaná
common.buy 288 Kč
Top
Walking the Cape Wrath Trail Iain Harper / Kniha Brožovaná
common.buy 400 Kč
Snow Angels, Secrets and Christmas Cake SUE WATSON / Kniha Brožovaná
common.buy 294 Kč
Solo Jill Mansell / E-kniha Adobe ePub DRM
common.buy 172 Kč
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Kniha Brožovaná
common.buy 241 Kč
Clock Nick Hemsley / Kniha Brožovaná
common.buy 354 Kč
Liability of Certification Service Providers - How the Providers of Certification Services Related to Electronic Signatures Could Manage their Liabili George Dimitrov / Kniha Brožovaná
common.buy 1 890 Kč
Understanding Career Counselling Jenny Kidd / Kniha Brožovaná
common.buy 950 Kč
Electron Kinetics and Applications of Glow Discharges Uwe Kortshagen / Kniha Pevná
common.buy 3 734 Kč
Dynamics of Arterial Flow Stewart Wolf / Kniha Brožovaná
common.buy 1 250 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?