PENCZEK, Wojciech
Advances in verification of time Petri nets and timed automata [Documento electrónico] : a temporal logic approach / Wojciech Penczek, Agata PólrolaBerlin : Springer, 2006E-book(Studies in Computational Intelligence; 20).
Exemplares
Advances in verification of time Petri nets and timed automata [Documento electrónico] : a temporal logic approach / Wojciech Penczek, Agata PólrolaBerlin : Springer, 2006E-book(Studies in Computational Intelligence; 20).
Acesso ao documento electrónico no ISEL.
978-3-540-32870-4
62
Exemplares
Tipo de Documento | Biblioteca Localização | Cota | Nº de Registo | Código de Barras | Numeração (volume ou outra parte) | Notas Públicas | Data de Empréstimo | Data de Devolução | Estatuto de Item Retirado |
---|---|---|---|---|---|---|---|---|---|
Ebook | Biblioteca do ISEL Biblioteca do ISEL |