Noch Fragen? 0800 / 33 82 637

Artikel empfehlen

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-66010-1 / 978-3540660101 / 9783540660101

Verlag: Springer Berlin

Erscheinungsdatum: 12.05.1999

Seiten: 353

Auflage: 1

Zielgruppe: Research

Herausgegeben von Jost-Pieter Katoen

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück