Formal Methods for Real-Time and Probabilistic Systems Jost-Pieter Katoen
80,24 €
Titel: Formal Methods for Real-Time and Probabilistic Systems, Untertitel: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings, Einband: Taschenbuch, Autor: Jost-Pieter Katoen, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 372, Maße: 235x155x21 mm, Gewicht: 563 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Netzwerk (elektronisch) Programmiersprachen formal verification hybrid systems ystems formal method model checking modeling Semantics verification.
Jetzt bei Ebay:
