Format:
XI, 427 S. :
,
Ill.
Edition:
1. paperback ed.
ISBN:
978-0-262-63295-9
,
0-262-63295-0
Series Statement:
Inside technology
Language:
English
Subjects:
Computer Science
Keywords:
Computer
;
Zuverlässigkeit
;
Automatisches Beweisverfahren
;
Geschichte
;
Wissenschaftssoziologie