52,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
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 |
| Inhalt: |
viii
168 S. |
| ISBN-13: | 9783540665793 |
| ISBN-10: | 354066579X |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Fokkink, Wan |
| Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
| 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,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, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Buch |
| Inhalt: |
viii
168 S. |
| ISBN-13: | 9783540665793 |
| ISBN-10: | 354066579X |
| Sprache: | Englisch |
| Einband: | Gebunden |
| Autor: | Fokkink, Wan |
| Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
| 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,442 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 4-7 Werktage