
Formal Modeling and Analysis of Timed Systems
Frits W. Vaandrager, Joel Ouaknine, 2009

Formal Modeling and Analysis of Timed Systems
Frits W. Vaandrager, Joel Ouaknine, 2009

Thinking Gifts Stikki Marks 30 Mini-Lesezeichen (Winter Birds) - selbsthaftend - wiederablsbar

Donau Abheftregister, papier, 20x50mm, 4x50 register, farbig sortiert