Lectures on Formal Methods and Performance Analysis Ed Brinksma
53,49 €
Titel: Lectures on Formal Methods and Performance Analysis, Untertitel: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures, Einband: Taschenbuch, Autor: Ed Brinksma, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 444, Maße: 235x155x24 mm, Gewicht: 668 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Testmethoden EDV / Theorie / Software-Entw. / Software Engineering correct systems design Dependable Computing distributed systems Markov chains performance evaluation Process Algebras Reactive Systems systems analysis Systems Design formal method modeling.
Jetzt bei Ebay:
