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ł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
Poczta Polska 18.99 zł
ORLEN Paczka 10.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Formal Methods for Industrial Critical Systems
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Indus...
Cały opis
Kod Libristo: 01656673
?
156 b
156 b
266.15
zł
Dostępna u dostawcy
Wysyłamy za 13-18 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
This book constitutes the proceedings of the 15th International Workshop on§Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp,§Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM§International Conference on Automated Software Engineering,§The 14 papers presented were carefully reviewed and selected from 33§submissions.§The aim of the FMICS workshop series is to provide a forum for researchers§who are interested in the development and application of formal methods in§industry. It also strives to promote research and development for the§improvement of formal methods and tools for industrial applications.
Informacje o książce
Pełna nazwa
Formal Methods for Industrial Critical Systems
Autor
Stefan Kowalewski, Marco Roveri
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2010
Liczba stron
231
EAN
9783642158971
ISBN
3642158978
Kod Libristo
01656673
Waga
424
Wymiary
156 x 238 x 24
Kategoria
Informatyka i technologie informacyjne (IT)
>
Informatyka (nauka)
>
Sztuczna inteligencja
>
Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Algorytmy i struktury danych
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)
>
Analiza systemowa i projektowanie
