phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

ABZ 2014: The Landing Gear Case Study

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha ABZ 2014: The Landing Gear Case Study Frederic Boniol
Libristo kód: 02667868
Nakladatelství Springer International Publishing AG, května 2014
This volume contains proceedings of the Case Study Track, held at the 4th International Conference,... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Neil Gaiman and Charles Vess's Stardust Neil Gaiman / Brožovaná
common.buy 415 Kč
Inspector Montalbano: The First Three Novels in the Series Andrea Camilleri / Brožovaná
common.buy 433 Kč
Jan Kubíček Hans-Peter Riese / List
common.buy 1 307 Kč
Hubert Looser Collection at Kunsthaus Zurich Philippe Büttner / Brožovaná
common.buy 781 Kč
Payback Francine Pascal / Digital
common.buy 314 Kč
Die christliche Rechte in Deutschland Lucius Teidelbaum / Brožovaná
common.buy 188 Kč
Mal de escuela Daniel Pennac / Brožovaná
common.buy 276 Kč
Economists and the Economy Roger Backhouse / Brožovaná
common.buy 1 759 Kč
Binnen der rothen Tonne: Novellenbuch der Nieder-Elbe. Bd.4 Heinrich Smidt / Brožovaná
common.buy 954 Kč
Die Frau mit den Karfunkelsteinen Eugenie Marlitt / Brožovaná
common.buy 954 Kč
V.f.Gumbol'dt. Ot jetiki k jestetike: "zakon naivysshej chuvstvennosti" Rita Yangutova / Brožovaná
common.buy 790 Kč
Health Sciences Diane Lindsey Reeves / Pevná
common.buy 811 Kč
Data Mining from Multimedia and Human Behavioral Data Wei Zhang / Brožovaná
common.buy 1 375 Kč

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.

Informace o knize

Plný název ABZ 2014: The Landing Gear Case Study
Autor Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 161
EAN 9783319075112
ISBN 331907511X
Libristo kód 02667868
Nakladatelství Springer International Publishing AG
Váha 2759
Rozměry 155 x 235 x 11

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačová 3D grafika a modelování
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet