Model Checking Abstract State Machines

Abstract

von Kirsten Winter

Vdm Verlag Dr. Müller · 2008

Taschenbuch

ISBN-13: 978-3-639-01891-2

ISBN-10: 3-639-01891-5