info@buecher-doppler.ch
056 222 53 47
Warenkorb
Ihr Warenkorb ist leer.
Gesamt
0,00 CHF
Zum Warenkorb
Zur Kasse

Kategorien

Art

Preisspanne

Zurücksetzen

18 Ergebnisse.

String Analysis for Software Verification and Security

String Analysis for Software ...

Lieferbar in ca. 20-45 Arbeitstagen
107,00 CHF
Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof ...

Lieferbar in ca. 20-45 Arbeitstagen
203,00 CHF
Descriptive Set Theoretic Methods in Automata Theory

Descriptive Set Theoretic Methods ...

Lieferbar in ca. 20-45 Arbeitstagen
78,00 CHF
Small Dynamic Complexity Classes

Small Dynamic Complexity Classes

Lieferbar in ca. 20-45 Arbeitstagen
72,00 CHF
Computability and Complexity

Computability and Complexity

Lieferbar in ca. 20-45 Arbeitstagen
135,00 CHF
String Analysis for Software Verification and Security

String Analysis for Software ...

Lieferbar in ca. 20-45 Arbeitstagen
107,00 CHF
Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software. ...

Lieferbar in ca. 20-45 Arbeitstagen
153,00 CHF
The Parametric Lambda Calculus

The Parametric Lambda Calculus

Lieferbar in ca. 20-45 Arbeitstagen
100,00 CHF
Specification and Development of Interactive Systems

Specification and Development of ...

Lieferbar in ca. 20-45 Arbeitstagen
110,00 CHF
Duration Calculus

Duration Calculus

Lieferbar in ca. 20-45 Arbeitstagen
179,00 CHF
Logics of Specification Languages

Logics of Specification Languages

Lieferbar in ca. 20-45 Arbeitstagen
232,00 CHF
Fundamentals of Algebraic Graph Transformation

Fundamentals of Algebraic Graph ...

Lieferbar in ca. 20-45 Arbeitstagen
147,00 CHF
Handbook of Weighted Automata

Handbook of Weighted Automata

Lieferbar in ca. 20-45 Arbeitstagen
232,00 CHF
The Logic of Categorial Grammars

The Logic of Categorial ...

Lieferbar in ca. 20-45 Arbeitstagen
90,00 CHF
Specification and Development of Interactive Systems

Specification and Development of ...

Lieferbar in ca. 20-45 Arbeitstagen
110,00 CHF
Pattern Calculus

Pattern Calculus

Lieferbar in ca. 20-45 Arbeitstagen
158,00 CHF
Automata for Branching and Layered Temporal Structures

Automata for Branching and ...

Lieferbar in ca. 20-45 Arbeitstagen
100,00 CHF
Software Engineering for Collective Autonomic Systems

Software Engineering for Collective ...

Lieferbar in ca. 20-45 Arbeitstagen
100,00 CHF