Articles liés à Introduction to Process Algebra
Synopsis
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 58,27
EUR 4,59 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Introduction to Process Algebra
Image fournie par le vendeur
Introduction to Process Algebra.
Edité par
Springer, 2000
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Dorner, Reinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Berlin, Springer 2000. VIII, 163 S., OPappband Neuwertig. N° de réf. du vendeur 118359
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Edité par
Springer, 1999
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Ancien ou d'occasion
Couverture rigide
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
2000. 176 p. Unread book. Like new. 9783540665793 Sprache: Englisch Gewicht in Gramm: 318 Hardcover: 23.4 x 1.1 x 15.6 cm. N° de réf. du vendeur 202384
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Edité par
Springer 23.12.1999., 1999
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Auflage: 2000. 168 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 315 24,1 x 16,1 x 1,4 cm, Gebundene Ausgabe. N° de réf. du vendeur 367821
Quantité disponible : 1 disponible(s)
Image d'archives
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540665793_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer Berlin Heidelberg, 1999
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. N° de réf. du vendeur 9783540665793
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer Berlin Heidelberg Dez 1999, 1999
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. 180 pp. Englisch. N° de réf. du vendeur 9783540665793
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1999, 1999
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Neuware -Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch. N° de réf. du vendeur 9783540665793
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 918749-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540665793
Quantité disponible : 2 disponible(s)
Image d'archives
Introduction to Process Algebra
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999
ISBN 10 : 354066579X
ISBN 13 : 9783540665793
Neuf
Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 432. . 1999. Hardback. . . . . N° de réf. du vendeur V9783540665793
Quantité disponible : 15 disponible(s)