Ergebnisliste für ISBN= "0135724058"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


Titel 1 - 2 von 2  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Hoare, Charles A. [Herausgeber] Mechanized reasoning and hardware design / ed. by C. A. R. Hoare .... - (Prentice Hall international series in computer science) 



1992 
     
2
Hoare, Charles A. R., 1934- [Hrsg.] Mechanized reasoning and hardware design / ed. by C. A. R. Hoare .... - 1. [Dr.]. - (Prentice-Hall international series in computer science) 

URL: http://digitale-objekte.hbz-nrw.de/storage2/2019/07/13/file_61/8511930.pdf
Inhaltsverzeichnis

1992 
     


Vorige Seite   Nächste Seite