Format:
XXII, 776 S.
,
Ill., graph. Darst.
Edition:
1. publ.
ISBN:
0521806089
Series Statement:
Cambridge tracts in theoretical computer science 54
Language:
English
Subjects:
Computer Science
Keywords:
Nebenläufigkeit
;
Automatisches Beweisverfahren
URL:
http://www.loc.gov/catdir/description/cam021/2001022303.html
URL:
http://www.loc.gov/catdir/toc/cam027/2001022303.html
Author information:
Roever, Willem-Paul de 1943-