Badouel, Eric.

概観

著作:	2 作品に 1 出版物中に 1 言語

タイトル

Petri net synthesis[electronic resource] / …で: Badouel, Eric.; Bernardinello, Luca.; Darondeau, Philippe.; SpringerLink (Online service) (言語・文字資料 (印刷物))

主題

Theory of Computation. Mathematical Logic and Foundations. Mathematics of Computing. Software Engineering/Programming and Operating Systems. Petri nets. Computer Science.