Modal Logic and Process Algebra, Volume 53
ISBN 10: 1881526968 ISBN 13: 9781881526964
Edité par Center for the Study of Language and Informat, 1995
Ancien(s) ou d'occasion
Paperback
Vendeur
ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 2 juillet 2009
Nous sommes désolés, ce livre n'est plus disponible. AbeBooks référence des millions de livres. Veuillez saisir des termes de recherche ci-dessous pour identifier des exemplaires similaires.
A propos de cet article
Description :
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.03. N° de réf. du vendeur G1881526968I4N00
Synopsis :
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Modal Logic and Process Algebra, Volume 53
Éditeur : Center for the Study of Language and Informat
Date d'édition : 1995
Reliure : Paperback
Etat : Very Good
Etat de la jaquette : No Jacket
AbeBooks vous offre des millions de livres anciens, neufs, d'occasion et épuisés proposés par des milliers de vendeurs du monde entier. Acheter sur AbeBooks est simple, sûr et 100% sécurisé - effectuez votre recherche, passez commande sur notre site sécurisé et recevez votre ouvrage directement expédié par le vendeur.
Cherchez parmi des millions de livres proposés par des milliers de vendeurs
Livres anciens et de collection
Livres rares, manuscrits, incunables ou livres signés, découvrez notre page consacrée aux livres anciens et de collection.
Editions originales
Tirages limités, éditions spéciales ou numérotées, retrouvez notre sélection d'éditions originales.
Livres d'occasion
Meilleures ventes, idées lecture et lauréats à prix réduits, faites des économies grâce à nos bonnes affaires et à la livraison gratuite.