Formal methods for the design of real-time systems

Não Informado

Salvar edição
  • Editora: Springer Nature B.V.
  • Ano: 2004
  • ISBN: 9783540230687
  • Formal methods for the design of real-time systems
Ler sinopse completa
Formal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Time Systems

Não informado | 2004

Descrição: A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of the... Veja mais

Veja as outras undefined ofertas de novos deste livro: