Geza Tarnai – författare
Visar alla böcker från författaren Geza Tarnai. Handla med fri frakt och snabb leverans.
3 produkter
FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Av Eckehard Schnieder, Geza Tarnai
Inbunden, 2011
2183 kr
Lägg i varukorg
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to …
FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Av Geza Tarnai, Eckehard Schnieder
E-bok, 2011
2925 kr
Lägg i varukorg
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to …
FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Av Eckehard Schnieder, Geza Tarnai
Häftad, 2014
2183 kr
Lägg i varukorg
Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups – especially for safety relevant systems – the possibility to …
