Automata, logics, and infinite games [ Livre] / Erich, Grädel / Wolfgang, Thomas ; Thomas, Wike

Auteur principal: Grädel, ErichCo-auteur: Thomas, WolfgangLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Berlin : Springer, 2002Description : 1 vol. (VIII-385 p.) ; 24 cmISBN: 9783540003885.Collection: Lecture notes in computer science, 2500, 0302-9743Classification: F 4 Langages formels, automates et calculabilitéSujet - Nom commun: Jeux, Théorie des | Informatique -- Mathématiques | Automates | Logique informatique Ressources en ligne:Cliquez ici pour consulter en ligne
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 GRA (Browse shelf) Available F 4 Langages formels, automates et calculabilité 032675

Powered by Koha