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ć

ABZ 2014: The Landing Gear Case Study

Język AngielskiAngielski
Książka Miękka
Książka ABZ 2014: The Landing Gear Case Study Frederic Boniol
Kod Libristo: 02667868
Wydawnictwo Springer International Publishing AG, maj 2014
This volume contains proceedings of the Case Study Track, held at the 4th International Conference,... 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ć

TOP
Neil Gaiman and Charles Vess's Stardust Neil Gaiman / Miękka
common.buy 71.04 zł
Inspector Montalbano: The First Three Novels in the Series Andrea Camilleri / Miękka
common.buy 78.73 zł
Jan Kubíček Hans-Peter Riese / Karta
common.buy 205.57 zł
Hubert Looser Collection at Kunsthaus Zurich Philippe Büttner / Miękka
common.buy 132.82 zł
Payback Francine Pascal / Digital
common.buy 50.49 zł
Die christliche Rechte in Deutschland Lucius Teidelbaum / Miękka
common.buy 30.13 zł
Mal de escuela Daniel Pennac / Miękka
common.buy 46.89 zł
Economists and the Economy Roger Backhouse / Miękka
common.buy 299.18 zł
Binnen der rothen Tonne: Novellenbuch der Nieder-Elbe. Bd.4 Heinrich Smidt / Miękka
common.buy 153.38 zł
Die Frau mit den Karfunkelsteinen Eugenie Marlitt / Miękka
common.buy 153.38 zł
V.f.Gumbol'dt. Ot jetiki k jestetike: "zakon naivysshej chuvstvennosti" Rita Yangutova / Miękka
common.buy 126.83 zł
Health Sciences Diane Lindsey Reeves / Twarda
common.buy 130.62 zł
Data Mining from Multimedia and Human Behavioral Data Wei Zhang / Miękka
common.buy 233.81 zł

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.§The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Informacje o książce

Pełna nazwa ABZ 2014: The Landing Gear Case Study
Autor Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 161
EAN 9783319075112
ISBN 331907511X
Kod Libristo 02667868
Wydawnictwo Springer International Publishing AG
Waga 2759
Wymiary 155 x 235 x 11

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) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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