Dennis Dams

Dennis Dams

2 ספרים במאגר

ספרים

Concurrency, Compositionality, and CorrectnessDennis Dams

Concurrency, Compositionality, and Correctness

Dennis Dams · 2010

Theoretical and Practical Aspects of SPIN Model CheckingDennis Dams

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams · 2003

ספרים משותפים ואוספים

ספרים שבהם Dennis Dams מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

FM 2009 : Formal MethodsAna Cavalcanti

FM 2009 : Formal Methods

Ana Cavalcanti · 2009