Formal Techniques in Real-Time and Fault-Tolerant Systems

EISBN:9781461532200
PISBN:9780792393320
出版社:Springer US
出版类型:Contributed volume
出版时间:1993
版次:1993
作者:Jan Vytopil
主题词:Computer Science,Theory of Computation,Computer Science,general,Special Purpose and Application-Based Systems,Processor Architectures,Electrical Engineering
语种:英语
相关推荐

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • 作者:Mathai Joseph
  • EISBN:9783540453529
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • 作者:Mathai Joseph
  • EISBN:9783540459651
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1988

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • 作者:Werner Damm,Ernst-Rüdiger Olderog
  • EISBN:9783540457398
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • 作者:Hans Langmaack,Willem-Paul Roever,Jan Vytopil
  • EISBN:9783540489849
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1994

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • 作者:Werner Damm,Ernst -Rüdiger Olderog
  • EISBN:9783540457398
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Formal Techniques in Real-Time and Fault-Tolerant Systems

  • 作者:Jan Vytopil
  • EISBN:9783540466925
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991