Ihre Suche ergab 28 Treffer.
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Produktform: Buch / Einband - fest (Hardcover)
80,24 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Thinking Programs
Logical Modeling and Reasoning about Languages, Data, Computations, and Executions
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
Enumerative Combinatorics, Special Functions and Computer Algebra
Produktform: Buch / Einband - fest (Hardcover)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra
In Honour of Peter Paule on his 60th Birthday
Produktform: Buch / Einband - flex.(Paperback)
106,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Correct Software in Web Applications and Web Services
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Correct Software in Web Applications and Web Services
Produktform: Buch / Einband - fest (Hardcover)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Produktform: Buch / Einband - flex.(Paperback)
74,89 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Produktform: E-Buch Text Elektronisches Buch in proprietärem
74,89 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Produktform: E-Buch Text Elektronisches Buch in proprietärem
80,24 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Produktform: Buch / Einband - flex.(Paperback)
58,84 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage