Darondeau, Philippe.

概要

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

書目資訊

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

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: Darondeau, Philippe.; SpringerLink (Online service); Ciardo, Gianfranco.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)

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

主題

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