• Libros
  • Advances in Verification of Time Petri Nets and Timed Automata
Advances in Verification of Time Petri Nets and Timed Automata
Pólrola, Agata
Inglês
EAN
9783642069420
Editorial
Ano de edição
2010
Idioma
Inglês
Coleção
Studies in Computational Intelligence
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres