48,65 €
Versandkostenfrei per Post / DHL
auf Lager, Lieferzeit 1-2 Werktage
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.
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.
A clear introduction into the basic concepts underlying process algebra
Ample intuitive explanations and motivation for theoretical notions
Worked-out exercises that help to grasp the text
Two detailed verifications
Extensive overviews of related fields
Includes supplementary material: [...]
| Erscheinungsjahr: | 1999 |
|---|---|
| Fachbereich: | Programmiersprachen |
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Buch |
| Reihe: | Texts in Theoretical Computer Science. An EATCS Series |
| Inhalt: |
viii
168 S. |
| ISBN-13: | 9783540665793 |
| ISBN-10: | 354066579X |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Fokkink, Wan |
| Hersteller: |
Springer
Texts in Theoretical Computer Science. An EATCS Series |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 241 x 160 x 14 mm |
| Von/Mit: | Wan Fokkink |
| Erscheinungsdatum: | 23.12.1999 |
| Gewicht: | 0,39 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen