Buch
Cambridge, Mass. [u.a.] :MIT Press,
Umfang:
XI, 427 S. :
,
Ill.
Ausgabe:
1. paperback ed.
ISBN:
978-0-262-63295-9
,
0-262-63295-0
Serie:
Inside technology
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Computer
;
Zuverlässigkeit
;
Automatisches Beweisverfahren
;
Geschichte
;
Wissenschaftssoziologie
Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |