Formal Methods Applied to Industrial Complex Systems - 9781848216327
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ē
Reālu piemēru prezentācija par formālo metožu, piemēram, SCADE, B-Method, ControlBuild, Matelo utt., rūpniecisku izmantošanu dažādās jomās, piemēram, dzelzceļā, aeronautikā un automobiļu rūpniecībā. Šīs grāmatas mērķis ir iepazīstināt pieredzes apkopojums par šo ?formālo metožu? (piemēram, pierādījumu un modeļu pārbaude) sarežģītu sistēmu rūpnieciskos piemēros. Tas ir balstīts uz to cilvēku pieredzi, kuri šobrīd ir iesaistīti drošībai kritisko sistēmu programmatūras izveidē un novērtēšanā. Nozares cilvēku iesaistīšana ļauj mums izvairīties no ierastajām konfidencialitātes problēmām, kas varētu 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
235mm
Üksuse laius
163mm
Lehekülgede arv
480 lehekülge
Kauba kaal
852g
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ē