Piton
A Mechanically Verified Assembly-Level Language
Produktform: Buch / Einband - fest (Hardcover)
85,59 € inkl. MwSt.
kostenloser Versand
Lieferzeit bitte erfragen
Piton
A Mechanically Verified Assembly-Level Language
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Piton
A Mechanically Verified Assembly-Level Language
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Verification of Floating-Point Hardware Design
Produktform: E-Buch Text Elektronisches Buch in proprietärem
90,94 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Formal Verification of Floating-Point Hardware Design
A Mathematical Approach
Produktform: Buch / Einband - flex.(Paperback)
90,94 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Computer-Aided Reasoning
ACL2 Case Studies
Produktform: E-Buch Text Elektronisches Buch in proprietärem
213,99 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
259,00 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
213,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
213,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage