High-level Petri Nets

EISBN:9783642845246
PISBN:9783540541257
出版社:Springer Berlin Heidelberg
出版类型:Professional book
出版时间:1991
作者:Kurt Jensen,Grzegorz Rozenberg
主题词:Software Engineering,Computation by Abstract Devices,Programming Techniques,Computer Communication Networks,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

High-level Petri Nets

  • 作者:Kurt Jensen,Grzegorz Rozenberg
  • EISBN:9783642845246
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

High-Level System Modeling

  • 作者:Ronald Waxman,Jean-Michel Bergé,Oz Levia,Jacques Rouillard
  • EISBN:9781461313090
  • 出版社:Springer US
  • 出版时间:1996

High-Level VLSI Synthesis

  • 作者:Raul Camposano,Wayne Wolf
  • EISBN:9781461539667
  • 出版社:Springer US
  • 出版时间:1991

High-Level System Modeling

  • 作者:Ronald Waxman,Jean-Michel Bergé,Oz Levia,Jacques Rouillard
  • EISBN:9781461313090
  • 出版社:Springer US
  • 出版时间:1996

High-Level Verification

  • 作者:Sudipta Kundu,Sorin Lerner,Rajesh K. Gupta
  • EISBN:9781441993595
  • 出版社:Springer New York
  • 出版时间:2011

High-Level System Modeling

  • 作者:Jean-Michel Bergé,Oz Levia,Jacques Rouillard
  • EISBN:9781461523031
  • 出版社:Springer US
  • 出版时间:1995