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ł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Formal Techniques for Safety-Critical Systems

Name: Formal Techniques for Safety-Critical Systems
Brand: Springer International Publishing AG
SKU: 02893193
Price: 261.85 PLN
Availability: InStock

Cyrille Artho

Peter Csaba Ölveczky

Język

Angielski

Książka Miękka

Kod Libristo: 02893193

Wydawnictwo Springer International Publishing AG, luty 2016

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Technique... Cały opis

Kod Libristo: 02893193

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

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. §The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

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 2016

Liczba stron 271

EAN 9783319295091

ISBN 3319295098

Kod Libristo 02893193

Wydawnictwo Springer International Publishing AG

Waga 4336

Wymiary 155 x 235 x 15

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika

Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Grafika i modelowanie 3D

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

Dostawa

Doradca ds. zakupów

Formal Techniques for Safety-Critical Systems

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Formal Techniques for Safety-Critical Systems

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Nie masz konta? Zyskaj korzyści konta Libristo!