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

von Stephan Kleuker

Taschenbuch

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (Großbritannien)
(siehe auch: eBook (Kindle))

ISBN: 978-3-8348-0669-7

ISBN-10: 3-8348-0669-2

Vieweg+Teubner Verlag · 2009