Formato normal Formato MARC Formato ISBD
Temporal logic and state systems / Fred Kröger, Stephan Merz
Autor: Kröger , FredCo-autor: Merz , StephanLíngua: Inglês.País: Alemanha.ISBN: 978-3-540-67401-6.Publicação: Berlin : Springer, cop. 2008Descrição: XI, 433 p. : ilColeção: (Texts in theoretical computer science: an EATCS series , 1862-4499)Assunto : Programação matemática // Lógica simbólica e matemática // Análise de séries temporaisCDU: 519.85
Tipo de documento Localização Cota Informação volume Estado Data de devolução Código de barras Reservas
Livro Biblioteca da UA
Piso 4 (Avançado)
519.8A.450 (Ver prateleira) 1 Disponível 281265
Total de reservas 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>