Vissza
0 Kosár
Nincs termék a bevásárlókosárban.
Keresés
Filters
Preferenciák
5%
Teljes leírás
A Budapesti Műszaki és Gazdaságtudományi Egyetem oktatói a jelen egyetemi jegyzettel a Közlekedésmérnöki és Járműmérnöki Kar Autonóm járműirányítási mérnök MSc mesterszak képzésben résztvevő hallgatóknak nyújtanak át egy hiánypótló tankönyvet, amelyből a leendő mérnökök megismerhetik az alapvető formális leírási módszereket és ellenőrzési megoldásokat, amelyeket a biztonsággal összefüggő rendszerek tervezése és biztonságigazolása során alkalmazhatnak.
Bartha Tamás

Biztonságra tervezés és biztonságigazolás formális módszerei

Borító ár
3 300 Ft
Aktuális online ár
3 135 Ft
Termék részletes adatai
Szerző
Bartha Tamás
ISBN
9789634542919, 9789634543831
Egyéb szerzőség
Budapesti Műszaki és Gazdaságtudományi Egyetem. Közlekedésmérnöki és Járműmérnöki Kar (közread.)
Nyelv
magyar
Megjelenés éve
2020
Méret
153 o.
Kiadó
Akad. K.
Cikkszám
3001081757

Darabszám
Teljes leírás
A Budapesti Műszaki és Gazdaságtudományi Egyetem oktatói a jelen egyetemi jegyzettel a Közlekedésmérnöki és Járműmérnöki Kar Autonóm járműirányítási mérnök MSc mesterszak képzésben résztvevő hallgatóknak nyújtanak át egy hiánypótló tankönyvet, amelyből a leendő mérnökök megismerhetik az alapvető formális leírási módszereket és ellenőrzési megoldásokat, amelyeket a biztonsággal összefüggő rendszerek tervezése és biztonságigazolása során alkalmazhatnak.