Vai al contenuto principale della pagina

Temporal logic and state systems / Fred Kröger, Stephan Merz



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Kröger, Fred Visualizza persona
Titolo: Temporal logic and state systems / Fred Kröger, Stephan Merz Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer, c2008
Descrizione fisica: XI, 433 p. : ill. ; 24 cm
Soggetto non controllato: Logica
Ricorsività
Altri autori: Merz, Stephan  
Titolo autorizzato: Temporal logic and state systems  Visualizza cluster
ISBN: 978-3-540-67401-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990008749580403321
Lo trovi qui: Univ. Federico II
Collocazione: 7-316
Opac: Controlla la disponibilità qui