Introduction to Process Algebra
Autor:
Springer Berlin Heidelberg
Verlag:
Springer Berlin Heidelberg
Sprache:
English
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.
CHF 69.00
Preise inkl. MwSt. und Versandkosten (portofrei ab CHF 40.00)
ISBN
978-3-540-66579-3
EAN
9783540665793
Erscheinungsjahr
12/23/1999
Edition
2000
Verlag
Springer Berlin Heidelberg
Author
Fokkink, Wan
Sprache
English
Springer Berlin Heidelberg weitere Bücher
The Countryside Game
CHF 19.50
Tixall Poetry
CHF 67.00
Kücük Dahiler Aktivite Kitabi 2
CHF 18.50
May Your Cup Runneth Over
CHF 62.00
Nellie McClung - The Witty Human Rights
CHF 30.50
Cell and Tissue Culture in Forestry
CHF 236.00
Summer in the City
CHF 17.40
Ireland
CHF 42.50
Subjugation
CHF 20.90
Bones are Forever
CHF 19.50
The Gay Triangle
CHF 28.50
Christians Must Heed Jesus-B/W edition
CHF 45.90
Katzen! Band 1 - Katz-Cha-Cha
CHF 18.50
Reading the Skull
CHF 113.50
Love The Sinner
CHF 18.50
How Saints Die: 100 Stories of Hope
CHF 25.90
Meine wirtschaftlichen Parenthesen
CHF 92.00
Una panoramica sul biodieselShanigarapu
CHF 52.50
Securing Users of Long-Term Evolution LT
CHF 59.90
Griffin J.Hare and the Birthday Party Di
CHF 29.50
Dry eye: epidemiology and clinical aspec
CHF 77.00
Christianity and Psychiatry
CHF 146.00
Control and Automation
CHF 72.00
How I Trade and Invest in Stocks and Bon
CHF 20.90
Navigating the Norms of Single Mother St
CHF 27.90
A Treatise Of Analytical Geometry (1852)
CHF 53.50
Animal Figures in the Maya Codices
CHF 30.50
How We Got the New Testament
CHF 39.50
Rand McNally 2023 Road Atlas
CHF 23.90
Esel mit Hut! Blumige Eleganz für ein mo
CHF 32.90
Bewertungen
0 Bewertungen
Anmeldung erforderlich