Keresés

Kategória

Termék keresés

Részletes keresés

Bejelentkezés

Keresés

Az ön kosara

Filters

Personal menu

Preferenciák

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

Teljes ár

3 300 Ft

Az Ön ára: 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

Tankönyvkatalógus

További részletes információkat az Oktatási Hivatal tankönyvkatalógusában olvashatnak ITT

Darabszám

Teljes leírás

Az áraink forintban értendők és az áfát tartalmazzák!