phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

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
Nakladateľstvo Springer International Publishing AG, apríl 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... Celý popis
? points 154 b
61.42 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

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

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.

Informácie o knihe

Celý názov Formal Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 257
EAN 9783319175805
ISBN 3319175807
Libristo kód 09249874
Nakladateľstvo Springer International Publishing AG
Váha 4102
Rozmery 155 x 235 x 14

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet