Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Abstraction, Refinement and Proof for Probabilistic Systems

Produktform: Buch / Einband - fest (Hardcover)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-0-387-40115-7 / 978-0387401157 / 9780387401157

Verlag: Springer US

Erscheinungsdatum: 19.11.2004

Seiten: 388

Auflage: 1

Autor(en): Annabelle McIver, Charles Carroll Morgan

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück