Formal Methods Applied to Complex Systems - 9781848217096
Nauja: Nauja, neskaityta, nenaudota idealios būklės knyga, be trūkusių ar pažeistų puslapių. Žiūrėti ... Skaityti daugiau apie būklęNauja: Nauja, neskaityta, nenaudota puikios būklės knyga, be trūkusių ar pažeistų puslapių. Išsamią informaciją rasite pardavėjo sąraše. Peržiūrėti visus sąlygų apibrėžimus atsidaro naujame lange arba skirtuke
Šioje knygoje pateikiami realūs formalių metodų pavyzdžiai pramoniniame kontekste. Ji apima formalius metodus, tokius kaip SCADE ir (arba) B metodas, įvairiose srityse, tokiose kaip geležinkeliai, aeronautika ir automobilių pramonė. Šios knygos tikslas – apibendrinti formalių metodų (pagrįstų formaliomis technikomis, tokiomis kaip įrodymas, abstrakčia interpretacija ir modelių tikrinimas) naudojimą sudėtingų sistemų pramoniniuose pavyzdžiuose, remiantis šiuo metu dalyvaujančių žmonių patirtimi. saugai svarbios sistemos programinės įrangos kūrimas ir įvertinimas. Pramonės atstovų įsitraukimas leidžia autoriams išvengti įprastų konfidencialumo problemų, kurios gali kilti ir taip suteikti naujos naudingos informacijos (nuotraukų, architektūros planų, realių pavyzdžių ir kt.).
Prekė detaliau
10 Prekės
Charakteristikos
Tipas
Vadovėlis
Autorius
Jean-Louis Boulanger
Formatas
Kietu viršeliu
Kalba
Anglų
Prekės aukštis
241mm
Prekės plotis
161mm
Puslapių skaičius
496 puslapiai
Prekės svoris
884g
Leidykla
Iste LTD AND John Wiley & Sons INC International Concepts
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Labai geros būklės-Knyga, kuri buvo perskaityta ir neatrodo nauja, bet yra puikios būklės. Ant knygos viršelio nėra akivaizdžių pažeidimų. Jokių trūkstamų ar pažeistų puslapių, jokių raukšlių ar įplyšimų, teksto pabraukimo ar paryškinimo ir paraščių paraštėse.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Labai geros būklės-Knyga, kuri buvo perskaityta ir neatrodo nauja, bet yra puikios būklės. Ant knygos viršelio nėra akivaizdžių pažeidimų. Jokių trūkstamų ar pažeistų puslapių, jokių raukšlių ar įplyšimų, teksto pabraukimo ar paryškinimo ir paraščių paraštėse.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
Geros būklės -Skaityta, bet geros būklės knyga. Minimalus knygos viršelio pažeidimas. Dauguma puslapių nepažeisti, gali būti šiek tiek raukšlių ar įplyšimų, tekstas pabrauktas pieštuku. Jokio rašto paraštėse, jokių trūkstamų puslapių.
17,97 €
Nauja: Nauja, neskaityta, nenaudota idealios būklės knyga, be trūkusių ar pažeistų puslapių. Žiūrėti ... Skaityti daugiau apie būklęNauja: Nauja, neskaityta, nenaudota puikios būklės knyga, be trūkusių ar pažeistų puslapių. Išsamią informaciją rasite pardavėjo sąraše. Peržiūrėti visus sąlygų apibrėžimus atsidaro naujame lange arba skirtuke
