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:Computers and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'

Affiner votre recherche

Disponibilité
- Limiter aux exemplaires disponibles.
Auteurs
- Amadio, Roberto M. (1)
- Baeten, J. C. M. (1)
- Basten, Twan (1)
- Curien, Pierre-Louis (1)
- Hindley, James Roger (1)
- Reniers, M. A. (1)
- Roever, W. P. de (1)
- Rutten, Jan (1)
- Sangiorgi, Davide (1)
- Afficher plus
- Afficher moins
Sites de rattachement
- La bibliothèque des sciences de l'ingénieur (4)
- La bibliothèque des Sciences Exactes et Naturelles (1)
Types de document
- Livre (5)
Collection
- Cambridge tracts in ... (5)
Sujets
- Bisimulation (1)
- Computer science (1)
- Computer software (1)
- COMPUTERS / Networki... (1)
- Electronic data proc... (1)
- Kombinationsverfahre... (1)
- lambda calcul (1)
- Lambda calculus (1)
- Lambda-calcul (1)
- Modality (Logic) (1)
- Parallel processing ... (2)
- programmation sémant... (1)
- Programmeertalen (1)
- Programming language... (2)
- Proof theory (1)
- propriété topologie ... (1)
- théorie domaine (1)
- Type theory (1)
- Typentheorie (1)
- Verifikation (1)
- Afficher plus
- Afficher moins

Votre recherche a retourné 5 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)
		Basic simple type theory par Hindley, James Roger, Publication : Cambridge [et cetera] Cambridge University Press. 1997 . XI, 186 pages 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Concurrency verification introduction to compositional and noncompositional methods Publication : Cambridge \| New York Cambridge University Press 2010 . xxii, 776 pages , Originally published: 2001. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Domains and lambda-calculi par Amadio, Roberto M. Publication : Cambridge, U.K. \| New York Cambridge University Press 1998 . 1 volumes (XVI-484 pages) , Terms covering use: Ouvrage. \| Informations sur l'éditeur. 24 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Process algebra equational theories of communicating processes par Baeten, J. C. M. Publication : Cambridge \| New York Cambridge University Press 2010 . xvi, 460 pages 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (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