Articoli correlati a Introduction to Process Algebra
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1. Introduction.- 2. Basic Process Algebra.- 3. Algebra of Communicating Processes.- 4. Recursion.- 5. Abstraction.- 6. Protocol Verifications.- 7. Extensions.- A. Equational Logic.- B. Structural Operational Semantics.- Solutions to Selected Exercises.- References.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 47,23
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Introduction to Process Algebra
Immagini fornite dal venditore
Introduction to Process Algebra
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5047621
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Editore:
Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642085840
Quantità: 2 disponibili
Foto dell'editore
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642085840_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Editore:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642085840
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642085840
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 12032954-n
Quantità: Più di 20 disponibili
Foto dell'editore
Introduction to Process Algebra
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10: 3642085849
ISBN 13: 9783642085840
Nuovo
Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: 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. . . . . Codice articolo V9783642085840
Quantità: 15 disponibili
Foto dell'editore
Introduction to Process Algebra (Texts in Theoretical Computer Science. An EATCS Series)
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783642085840
Quantità: 2 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 12032954-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Process Algebra
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 12032954
Quantità: Più di 20 disponibili