The theory of timed I/O automata [ Livre] / Dilsun K. Kaynar, Nancy Lynch, Segala Roberto, Frits Vaandrager.
Langue : anglais.Mention d'édition: 2nd ed.Publication : San Rafael, Calif. : Morgan & Claypool., 2011.Description : (XIV-123 p.) : ill. en noir et en blanc. , couv. ill. en coul. : graph., fig., tabl., ill. en noir et en blanc. ; 24 cm.ISBN : 9781608450022.Collection: Synthesis lectures on distributed computing theory., 5| Type de document | Site actuel | Cote | Statut | Notes | Date de retour prévue |
|---|---|---|---|---|---|
Livre
|
Bibliothèque Universitaire Mohamed Sekkat 2ème étage | 511.35 KAY (Parcourir l'étagère) | Exclu du prêt | New 2015 |
Survol Bibliothèque Universitaire Mohamed Sekkat Étagères , Localisation : 2ème étage Fermer le survol d'étagère
|
|
|
|
|
|
|
||
| 511.3 ETE LOGIQUE et ALGÈBRE de STRUCTURES MATHÉMATIQUES MODALES-VALENTES CHRYSIPPIENNES | 511.307 6 BER Introduction pratique aux Logiques classiques | 511.31 DES Logique combinatoire et [lambda]-calcul | 511.35 KAY The theory of timed I/O automata | 511.5 BON Graph theory | 511.5 BOR Graphes et combinatoire | 511.5 COG Théorie des graphes |
Il n'y a pas de commentaire pour ce document.