Author: Katoen, Joost-Pieter (Ed.):
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.
Description: Berlin; Springer. 1999. X, 353 S.; with figures, 24 cm, Paperback. Like new. Shrink wrapped. / Wie neu. In Folie verschweisst. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: Echtzeitsystem ; Systementwicklung ; Formale Methode ; Kongress ; Bamberg ; Stochastisches System ; Systementwicklung ; Formale Methode ; Informatics ISBN: 9783540660101


See more books from our catalog: Informatik, Hardware, Software