53,49 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
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 |
| 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 |
| Ausstattung / Beilage: | HC runder Rücken kaschiert |
| Einband: | Gebunden |
| Autor: | Fokkink, Wan |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Texts in Theoretical Computer Science. An EATCS Series |
| Maße: | 241 x 160 x 14 mm |
| Von/Mit: | Wan Fokkink |
| Erscheinungsdatum: | 23.12.1999 |
| Gewicht: | 0,442 kg |
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 |
| 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 |
| Ausstattung / Beilage: | HC runder Rücken kaschiert |
| Einband: | Gebunden |
| Autor: | Fokkink, Wan |
| Hersteller: |
Springer-Verlag GmbH
Springer Berlin Heidelberg Texts in Theoretical Computer Science. An EATCS Series |
| Maße: | 241 x 160 x 14 mm |
| Von/Mit: | Wan Fokkink |
| Erscheinungsdatum: | 23.12.1999 |
| Gewicht: | 0,442 kg |
Ähnliche Produkte
Aktuell nicht verfügbar
Lieferzeit 4-7 Werktage
Aktuell nicht verfügbar
Aktuell nicht verfügbar
Lieferzeit 4-7 Werktage
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen