Dieter Hutter

Dieter Hutter

2 ספרים במאגר

ספרים

Security in pervasive computingDieter Hutter

Security in pervasive computing

Dieter Hutter · 2004

Applied formal methods--FM-Trends 98Dieter Hutter

Applied formal methods--FM-Trends 98

Dieter Hutter · 1999

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

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

RipplingAlan Bundy

Alan Bundy · 2005

Mechanizing mathematical reasoningJörg H. Siekmann

Mechanizing mathematical reasoning

Jörg H. Siekmann · 2005

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56Alan Bundy

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Alan Bundy · 2005