BIZTONSÁGRA TERVEZÉS ÉS BIZTONSÁGIGAZOLÁS FORMÁLIS MÓDSZEREI

-15%
BIZTONSÁGRA TERVEZÉS ÉS BIZTONSÁGIGAZOLÁS FORMÁLIS MÓDSZEREI

Szerzők: Bartha Tamás, Majzik István

Akadémiai Kiadó, 2020

3 300 Ft 

Az áthúzott ár a jelenleg érvényes ár alkalmazását megelőző 30 nap legalacsonyabb eladási ára.

2 805 Ft
Kezdete: 2020.08.01   A készlet erejéig!
Kedvencekhez
Ajánlom
Nyomtat
Összehasonlítás
Részletek
Ajánlatunk Önnek!
Adatok
Vélemények
Részletek

Jelen jegyzet a Budapesti Műszaki és Gazdaságtudományi Egyetem Közlekedésmérnöki és Járműmérnöki Kara Autonóm járműirányítási mérnök MSc mesterszak képzéséhez készült kiegészítő tananyagként.

Az autonóm járművek a jövőben olyan mértékben alakítják át a közlekedéssel kapcsolatos társadalmi elvárásokat, és ennek kapcsán biztonságos működésükkel kapcsolatban olyan elvárások fogalmazódnak meg, hogy a jegyzetben ismertetett biztonságigazolási módszerek egyre jobban integrálódni fognak a járműmérnöki gyakorlatba. Jegyzetünk megalapozó tankönyvnek tekinthető a formális módszerek mérnöki alkalmazása területén: bevezet a legfontosabb formális leírási módok használatába, segít a rendszerek modellezésének megértésében és elsajátításában, és bemutatja a modellellenőrzés legfontosabb módszereit.

 

A kötet adatai:

Formátum: B/5

Kötés: kartonált, ragasztókötött

Megjelenés éve: 2020

Terjedelem: 154 oldal

Ajánlatunk Önnek!
Adatok
ISBN
9789634543831
Kiadó
Akadémiai Kiadó
Vélemények
shopmania.hu aprohirdetesingyen.hu arumagazin.hu vatera.hu simplepay_hu