Badouel, Eric.

概要

作品:	0 作品在 1 項出版品 1 種語言

書目資訊

Petri net synthesis by: Badouel, Eric.; Bernardinello, Luca.; Darondeau, Philippe.; SpringerLink (Online service) (書目-語言資料,印刷品)

Petri Net Synthesis by: Darondeau, Philippe.; SpringerLink (Online service); Bernardinello, Luca.; Badouel, Eric. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

主題

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