Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings (Lecture Notes in Computer Science, 1601, Band 1601)

53.49 EUR

Marke: Springer Berlin Heidelberg

ISBN: 3540660100

MPN: 6956543

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

53.49 EUR 53.49 EUR

27-04-2026 19:32:18

Access to the deal

53.49 EUR 53.49 EUR

27-04-2026 22:17:01

Access to the deal