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 47,23
EUR 9,70 expédition depuis Allemagne 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 Berlin Heidelberg, 2010
ISBN 10 : 3642085849
ISBN 13 : 9783642085840
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A clear introduction into the basic concepts underlying process algebraAmple intuitive explanations and motivation for theoretical notionsWorked-out exercises that help to grasp the textTwo detailed verificationsExtensive overviews of relate. N° de réf. du vendeur 5047621
Quantité disponible : Plus de 20 disponibles
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 ria9783642085840_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642085849
ISBN 13 : 9783642085840
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. 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 9783642085840
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10 : 3642085849
ISBN 13 : 9783642085840
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. 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. 176 pp. Englisch. N° de réf. du vendeur 9783642085840
Quantité disponible : 2 disponible(s)
Image d'archives
Introduction to Process Algebra (Texts in Theoretical Computer Science. An Eatcs Series)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642085840
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10 : 3642085849
ISBN 13 : 9783642085840
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. 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 176 pp. Englisch. N° de réf. du vendeur 9783642085840
Quantité disponible : 1 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 12032954-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Introduction to Process Algebra
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10 : 3642085849
ISBN 13 : 9783642085840
Neuf
Couverture souple
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 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. Dimension: 234 x 156 x 9. Weight in Grams: 284. . 2010. Softcover reprint of hardcover 1st ed. 2000. Paperback. . . . . N° de réf. du vendeur V9783642085840
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Introduction to Process Algebra
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 12032954-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Introduction to Process Algebra
Edité par
Springer, 2010
ISBN 10 : 3642085849
ISBN 13 : 9783642085840
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 12032954
Quantité disponible : Plus de 20 disponibles