Ihre Suche ergab 150 Treffer.
Selected Writings on Computing: A personal Perspective
Produktform: Buch / Einband - flex.(Paperback)
139,09 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Programming with Specifications
An Introduction to ANNA, A Language for Specifying Ada Programs
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Reverse Engineering of Object Oriented Code
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Abstraction, Refinement and Proof for Probabilistic Systems
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Design and Analysis of Algorithms
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Asynchronous Circuits
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
A Logical Approach to Discrete Math
Produktform: Buch / Einband - fest (Hardcover)
80,24 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
235,39 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Adapting Proofs-as-Programs
The Curry--Howard Protocol
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage