Français
France
s'inscrire
Conseils d'eurolivre.fr
Livres similaires
Autres livres qui pourraient ressembler au livre recherché:
Outils de recherche
Livre conseillé
Actualités
Publicité
FILTRE
- 0 Résultats
prix le plus bas: 46,62 €, prix le plus élevé: 62,52 €, prix moyen: 54,65 €
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Livre non disponible
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - livre d'occasion

ISBN: 0521018455

ID: 6352822

The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets. computers and technology,education and reference,languages and tools,networking,networks protocols and apis,parallel processing computers,programming,software design testing and engineering,software development Computers & Technology, Cambridge University Press

livre d'occasion Thriftbooks.com
used Frais d'envoizzgl. Versandkosten, Livraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - Olderog, E R, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor)
Livre non disponible
(*)
Olderog, E R, and Van Rijsbergen, C J (Editor), and Abramsky, Samson (Editor):
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship - Livres de poche

2005, ISBN: 9780521018456

ID: 11298824308

Trade paperback, New., Trade paperback (US). Glued binding. 280 p. Contains: Illustrations, black & white. Cambridge Tracts in Theoretical Computer Science (Paperback), 23., Cambridge, [PU: Cambridge University Press]

Nouveaux livres Alibris.com
Alibris
Frais d'envoiLivraison non-comprise
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Livre non disponible
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Livres de poche

2005, ISBN: 9780521018456

ID: 496422612

Cambridge University Press, 2005-08-22. Paperback. Used:Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. 24*7 Customer Service., Cambridge University Press, 2005-08-22

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 14.17
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Livre non disponible
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Livres de poche

2005, ISBN: 9780521018456

ID: 496422612

Cambridge University Press, 2005-08-22. Paperback. Good., Cambridge University Press, 2005-08-22

livre d'occasion Biblio.com
Ergodebooks
Frais d'envoi EUR 12.74
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - E. -R. Olderog
Livre non disponible
(*)
E. -R. Olderog:
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science) - Livres de poche

ISBN: 9780521018456

ID: 972652576

Cambridge University Press. Paperback. New. NEW BOOK, Cambridge University Press

livre d'occasion Biblio.com
Bookshopee
Frais d'envoi EUR 17.83
Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.

Détails sur le livre
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction.

Informations détaillées sur le livre - Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship


EAN (ISBN-13): 9780521018456
ISBN (ISBN-10): 0521018455
Livre de poche
Date de parution: 2005
Editeur: CAMBRIDGE UNIV PR
280 Pages
Poids: 0,449 kg
Langue: eng/Englisch

Livre dans la base de données depuis 20.12.2007 20:20:41
Livre trouvé récemment le 18.10.2017 14:03:19
ISBN/EAN: 9780521018456

ISBN - Autres types d'écriture:
0-521-01845-5, 978-0-521-01845-6


< pour archiver...
Livres en relation