Ihre Suche ergab 115 Treffer.
Verification of Reactive Systems
Formal Methods and Algorithms
Produktform: Buch / Einband - fest (Hardcover)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Elements of Finite Model Theory
Produktform: Buch / Einband - fest (Hardcover)
96,29 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
Produktform: Buch / Einband - fest (Hardcover)
117,69 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Temporal Logic and State Systems
Produktform: Buch / Einband - fest (Hardcover)
80,24 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Exact Exponential Algorithms
Produktform: Buch / Einband - fest (Hardcover)
Exact Exponential Algorithms provides an introduction to the area and explains the most common algorithmic techniques involved. Thorough exercises are included, in addition to notes and suggestions for further reading.
80,24 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Software Engineering 2
Specification of Systems and Languages
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Parameterized Complexity Theory
Produktform: Buch / Einband - flex.(Paperback)
85,59 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Introduction to Process Algebra
Produktform: Buch / Einband - fest (Hardcover)
53,49 € inkl. MwSt.
kostenloser Versand
sofort lieferbar - Lieferzeit 1-3 Werktage
Graphs and Algorithms in Communication Networks
Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage