Mechanized reasoning and hardware design a discussion

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Hoare, Charles A. R. (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	London 1992
Schriftenreihe:	Philosophical transactions / A 1652
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!