Apparemment, javascript est désactivé sur votre navigateur.

Javascript doit être activé dans votre navigateur pour utiliser toutes les fonctionnalités de ce site.

›

En cours de chargement...

Recherche avancée

Stéphane Demri et Valentin Goranko - Temporal Logics in Computer Science - Finite-State Systems.

Temporal Logics in Computer Science - Finite-State Systems (Relié)

Edition en anglais

Stéphane Demri, Valentin Goranko, Martin Lange

Cambridge University Press
Paru le : 01/01/2016

Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h*
* si livre disponible en stock, livraison payante

110,40 €

Actuellement indisponible

ou

Fiche technique

Fiche technique

Date de parution : 01/01/2016
Editeur : Cambridge University Press
Collection : Cambridge Tracts in Theorical
ISBN : 978-1-107-02836-4
EAN : 9781107028364
Format : Grand Format
Présentation : Relié
Nb. de pages : 744 pages
Poids : 1.47 Kg
Dimensions : 18,2 cm × 25,5 cm × 4,5 cm

Temporal Logics in Computer Science - Finite-State Systems est également présent dans les rayons

Livres > Médecine, sciences, techniques > Informatique >
Livres > Médecine, sciences, techniques > Informatique > Programmation >
Livres > Médecine, sciences, techniques > Informatique > Programmation > Autres ouvrages de programmation >

Stéphane Demri et Valentin Goranko - Temporal Logics in Computer Science - Finite-State Systems.

Temporal Logics in Computer Science. Finite-State Systems

Stéphane Demri, ...

110,40 €

Haut de page