Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation

Author: Kleuker S.
Publisher: Vieweg
Language: German
Year: 2009
Page: 316
ISBN: 3834806692,9783834806697
File Type: pdf
File Size: 3.2 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book