Mechanized reasoning and hardware design a discussion ; (meeting held at the Royal Society on 3 and 4 October 1991)

Bibliographische Detailangaben

Weitere Verfasser:	Hoare, Charles A. R. (HerausgeberIn)
Format:	UnknownFormat
Veröffentlicht:	New York u.a. Prentice-Hall 1992
Ausgabe:	1. [Dr.]
Schriftenreihe:	Prentice-Hall international series in computer science
Schlagworte:
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!