phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Formal Techniques for Safety-Critical Systems

Język AngielskiAngielski
Książka Miękka
Książka Formal Techniques for Safety-Critical Systems Cyrille Artho
Kod Libristo: 09249874
Wydawnictwo Springer International Publishing AG, kwiecień 2015
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniq... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Leselampe Flexilight Blue Words / Zabawka
common.buy 38.11 zł
Best Easy Day Hikes Death Valley National Park Bill Cunningham / Miękka
common.buy 62.26 zł
Entschuldige, ich liebe Dich!, 1 DVD Joaquin Llamas / DVD
common.buy 36.91 zł
Royal Air Force Pilot's Notes for Mosquito Marks FII and NFXII Royal Air Force / Miękka
common.buy 48.79 zł
Die Formeln der Erfolgreichsten - Teil 1 John Train / Miękka
common.buy 104.58 zł
Die Politisierung Des Islam Wilfried Röhrich / Miękka
common.buy 90.51 zł
Dynamique non linéaire de l'opération de perçage Amir Kessentini / Miękka
common.buy 160.86 zł
Snow Angels, Secrets and Christmas Cake SUE WATSON / Miękka
common.buy 57.97 zł
East Side Story Max Heinrichs / Miękka
common.buy 44.20 zł
Edle Liköre und feine Schnäpse selbst gemacht! Simone Edelberg / Twarda
common.buy 29.03 zł
Foreign Relations of the United States, 1969-1976, Volume VIII, Vietnam, January-October 1972 John M. Carland / Twarda
common.buy 442.69 zł

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.

Informacje o książce

Pełna nazwa Formal Techniques for Safety-Critical Systems
Autor Cyrille Artho, Peter Csaba Ölveczky
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 257
EAN 9783319175805
ISBN 3319175807
Kod Libristo 09249874
Wydawnictwo Springer International Publishing AG
Waga 4102
Wymiary 155 x 235 x 14

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo