Noch Fragen? 0800 / 33 82 637

Abstraction, Refinement and Proof for Probabilistic Systems

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-1-4419-2312-7 / 978-1441923127 / 9781441923127

Verlag: Springer US

Erscheinungsdatum: 19.11.2010

Seiten: 388

Auflage: 1

Autor(en): Annabelle McIver, Charles Carroll Morgan

160,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück