Formal Methods Applied to Complex Systems - 9781848217096
Jaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez iztrūkstošām vai bojātām lapām. Skatīt ... Lasīt vairāk par stāvokliJaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez trūkstošām vai bojātām lapām. Lai iegūtu pilnu informāciju, skatiet pārdevēja sarakstu. Skatīt visas nosacījumu definīcijas tiek atvērtas jaunā logā vai cilnē
Šajā grāmatā ir sniegti reāli formālo metožu piemēri rūpnieciskā kontekstā. Tas aptver formālas metodes, piemēram, SCADE un/vai B metodi dažādās jomās, piemēram, dzelzceļš, aeronautika un automobiļu rūpniecība. Šīs grāmatas mērķis ir sniegt pieredzes kopsavilkumu par formālu metožu izmantošanu (pamatojoties uz formālām metodēm, piemēram, pierādīšanu, abstraktu interpretāciju un modeļu pārbaudi) sarežģītu sistēmu industriālajos piemēros, pamatojoties uz to cilvēku pieredzi, kuri pašlaik ir iesaistīti drošībai kritiskas sistēmas programmatūras izveide un novērtēšana. Nozares cilvēku iesaistīšana ļauj autoriem izvairīties no ierastajām konfidencialitātes problēmām, kas var rasties, un tādējādi sniedz iespēju sniegt jaunu noderīgu informāciju (fotogrāfijas, arhitektūras plāni, reāli piemēri utt.).
Toote üksikasjad
10 Tooted
Lisainfo
Tüüp
Õpik
Autor
Jean-Louis Boulanger
Vorming
Kõva köide
Keel
Inglise
Kauba kõrgus
241mm
Üksuse laius
161mm
Lehekülgede arv
496 lehekülge
Kauba kaal
884g
Kirjastaja
Iste LTD AND John Wiley & Sons INC International Concepts
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Väga heas seisukorras -Raamat, mis on läbi loetud ja ei näe välja uus, kuid on suurepärases seisukorras. Raamatukaanel ei ole ilmseid kahjustusi. Puuduvad või kahjustatud leheküljed, kortsud ega rebendid, teksti allakriipsutus või esiletõstmine ega kirjutis veeristel.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Väga heas seisukorras -Raamat, mis on läbi loetud ja ei näe välja uus, kuid on suurepärases seisukorras. Raamatukaanel ei ole ilmseid kahjustusi. Puuduvad või kahjustatud leheküljed, kortsud ega rebendid, teksti allakriipsutus või esiletõstmine ega kirjutis veeristel.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
Hea seisukord -Raamat, mis on loetud, kuid heas seisukorras. Raamatukaanel on minimaalne kahjustus. Suurem osa lehekülgi on kahjustamata, võib esineda kortsude või rebenditega ning teksti pliiatsiga allajoonimisega. Veeristele ei kirjutata, puuduvad leheküljed.
17,97 €
Jaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez iztrūkstošām vai bojātām lapām. Skatīt ... Lasīt vairāk par stāvokliJaunums: Jauna, nelasīta, nelietota grāmata ideālā stāvoklī, bez trūkstošām vai bojātām lapām. Lai iegūtu pilnu informāciju, skatiet pārdevēja sarakstu. Skatīt visas nosacījumu definīcijas tiek atvērtas jaunā logā vai cilnē
