Duration Calculus

EISBN:9783662067840
PISBN:9783642074042
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:2004
作者:Zhou Chaochen,Michael R. Hansen
主题词:Software Engineering,Special Purpose and Application-Based Systems,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Duration Calculus

  • 作者:Chaochen Zhou,Michael R. Hansen
  • EISBN:9783662067840
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2004

Domain Modeling and the Duration Calculus

  • 作者:Chris W. George,Zhiming Liu,Jim Woodcock
  • EISBN:9783540749646
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Duration and Change

  • 作者:Michael Artin,Hanspeter Kraft,Reinhold Remmert
  • EISBN:9783642785023
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Duration and Change

  • 作者:Michael Artin,Reinhold Remmert,Hanspeter Kraft
  • EISBN:9783642785023
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Duration and Bandwidth Limiting

  • 作者:Jeffrey A. Hogan,Joseph D. Lakey
  • EISBN:9780817683078
  • 出版社:Birkhäuser Boston
  • 出版时间:2012

Calculus

  • 作者:Grossman,Stanley I.
  • PISBN:9780123043719
  • 出版时间:Legacy