Formal methods for real time and probabilistic systems:5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999, proceedings. Lecture notes in computer science; Vol. 1601.

Katoen, Joost-Pieter (Ed.):

Published by Berlin; Springer., 1999

About this Item

X, 353 S.; with figures, 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 570.

Seller Inventory # 818992

Bibliographic Details

• Title: Formal methods for real time and probabilistic systems:5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999, proceedings. Lecture notes in computer science; Vol. 1601.
• Publisher: Berlin; Springer.
• Publication Date: 1999
• Language: English
• Binding: Paperback.
• Condition: Wie neu
• Weight: 570 grams
• Seller catalogs:
  • Informatik, Hardware, Software