Bibliothèque de L'IMIST/CNRST

Votre panier est vide.

Panier
Listes

Langues

Connexion à votre compte
Historique de recherche Effacer

IMIST

Ask A Librarian

Name: Phone No: Email: Comment:

Cancel

Chercher

Recherche avancée
Recherche d'autorités
Nuage de tags
Suggestions d'achat

Connexion à votre compte

Identifiant : Mot de passe :

Vous n'avez pas de compte ? Cliquer ici pour vous créer un compte.

Accueil ›
Résultats de recherche pour 'ccl=su:Science '

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Buth, Karl-Heinz (1)
- Engelhardt, Kai (1)
- Griffor, Edward R. (1)
- Lindström, Ingrid (1)
- Roever, Willem.-Paul... (1)
- Rutten, Jan (1)
- Sangiorgi, Davide (1)
- Stoltenberg-Hansen, ... (1)
- Afficher plus
- Afficher moins
Sites de rattachement
- La bibliothèque des sciences de l'ingénieur (2)
- La bibliothèque des Sciences Exactes et Naturelles (1)
Types de document
- Livre (3)
Collection
- Cambridge tracts in ... (3)
Sujets
- Approximation theory (1)
- Bereichstheorie (1)
- Bisimulation (1)
- Coinduction (Mathema... (1)
- Computer programs (1)
- Computer science (2)
- Computer simulation (1)
- COMPUTERS / Networki... (1)
- Data structures (Com... (1)
- Induction (Mathemati... (1)
- Mathematik (1)
- Modality (Logic) (1)
- Numerical analysis (1)
- Topologie (1)
- Afficher plus
- Afficher moins

Votre recherche a retourné 3 résultats.

Ne pas surligner Surligner

| |

		Advanced topics in bisimulation and coinduction Publication : Cambridge \| New York Cambridge University Press 2012 . xiii, 326 pages , "Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material"-- 24 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Data refinement Model-oriented proof methods and their comparison par Roever, Willem.-Paul de Publication : New York Cambridge University Press 1998 . 423 pages , "This digitally printed version 2009"--T.p. verso. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Mathematical theory of domains par Stoltenberg-Hansen, Viggo. Publication : Cambridge Cambridge University Press 2008 . xii, 349 pages , Originally published: 1994. "This digitally printed version 2008"--T.p. verso. 26 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)

Vous ne trouvez pas ce que vous cherchez ?

Faites une suggestion d'achat

© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha