Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science - Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany) - Bøger - Cambridge University Press - 9780521400442 - 3. oktober 1991
Ved uoverensstemmelse mellem cover og titel gælder titel

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science

Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, Germany)

Pris
DKK 1.163

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 18. aug.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship - Cambridge Tracts in Theoretical Computer Science

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.


278 pages, references

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 3. oktober 1991
ISBN13 9780521400442
Forlag Cambridge University Press
Antal sider 278
Mål 180 × 257 × 19 mm   ·   670 g
Sprog Engelsk