Advances in verification of time petri nets and timed automataWojciech Penczek

Advances in verification of time petri nets and timed automata

Name: Advances in verification of time petri nets and timed automata
ISBN: 9783540328698

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

פרטי הספר

מקור הנתונים: Wikidata