E-Book, Englisch, Band 3, 320 Seiten
Reihe: Automated Reasoning Series
Moore Piton
Erscheinungsjahr 2007
ISBN: 978-0-585-33654-1
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark
A Mechanically Verified Assembly-Level Language
E-Book, Englisch, Band 3, 320 Seiten
Reihe: Automated Reasoning Series
ISBN: 978-0-585-33654-1
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark




