Formal Methods Applied to Complex Systems - 9781848217096
Uus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Vaata ... Loe seisukorra kohta lähemaltUus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Täieliku teabe saamiseks vaadake müüja nimekirja. Kõigi tingimuste definitsioonide vaatamine avaneb uues aknas või vahekaardil
See raamat esitab tegelikke näiteid formaalsetest tehnikatest tööstuslikus kontekstis. See hõlmab ametlikke meetodeid, nagu SCADE ja/või B-meetod, erinevates valdkondades, nagu raudtee, lennundus ja autotööstus. Selle raamatu eesmärk on esitada kokkuvõte kogemustest formaalsete meetodite kasutamisest (põhinevad formaalsetel tehnikatel nagu tõestamine, abstraktne tõlgendus ja mudelikontroll) keerukate süsteemide tööstuslikes näidetes, tuginedes praegu tegelevate inimeste kogemustele. ohutuskriitilise süsteemitarkvara loomine ja hindamine. Tööstusharu inimeste kaasamine võimaldab autoritel vältida tavalisi tekkida võivaid konfidentsiaalsusprobleeme ja seeläbi pakkuda uut kasulikku teavet (fotod, arhitektuuriplaanid, reaalsed näited jne).
Produkta detaļas
10 vienības:
Datu lapa
Tips
Mācību grāmata
Autors
Jean-Louis Boulanger
Formāts
Cietie vāki
Valoda
Angļu
Preces augstums
241mm
Vienuma platums
161mm
Lapu skaits
496 lapas
Preces svars
884g
Leidykla
Iste LTD AND John Wiley & Sons INC International Concepts
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Ļoti labā stāvoklī -Grāmata, kas ir izlasīta un neizskatās jauna, taču ir lieliskā stāvoklī. Grāmatas vākam nav acīmredzamu bojājumu. Nav trūkstošu vai bojātu lappušu, bez krokām vai plīsumiem, bez teksta pasvītrošanas vai izcelšanas, kā arī bez rakstīšanas uz piemalēm.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Ļoti labā stāvoklī -Grāmata, kas ir izlasīta un neizskatās jauna, taču ir lieliskā stāvoklī. Grāmatas vākam nav acīmredzamu bojājumu. Nav trūkstošu vai bojātu lappušu, bez krokām vai plīsumiem, bez teksta pasvītrošanas vai izcelšanas, kā arī bez rakstīšanas uz piemalēm.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
Labā stāvoklī -Grāmata, kas ir izlasīta, bet ir labā stāvoklī. Minimāls grāmatas vāka bojājums. Lielākā daļa lapu ir nebojātas, var būt ar krokām vai plīsumiem, kā arī teksta pasvītrojums ar zīmuli. Nekādu uzrakstu uz malām, netrūkst lappušu.
17,97 €
Uus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Vaata ... Loe seisukorra kohta lähemaltUus: Uus, lugemata, kasutamata raamat, ideaalses korras, ilma puuduvate või kahjustatud lehtedeta. Täieliku teabe saamiseks vaadake müüja nimekirja. Kõigi tingimuste definitsioonide vaatamine avaneb uues aknas või vahekaardil
