Process algebra and probabilistic methods : performance modeling and verification : Second Joint Int - detaljert visning

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

PAPM-PROBMIV 2002
Bok Engelsk 2002


Utgitt	Berlin : Springer , c2002
Omfang	X, 214 s. : ill.
Emner	Machine theory Parallel processing (Electronic computers) Logisk algebra Maskinteori (Matematisk logikk) Vis mer... Programverifikasjon Sannsynlighetsregning Systemanalyse (Databehandling)
ISBN	3540439137