Quantitative Evaluation of Systems | 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Kaustubh Joshi (u. a.)
ISBN 10: 3642401953 ISBN 13: 9783642401954
Verlag: Springer-Verlag GmbH, 2013
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Quantitative Evaluation of Systems | 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings | Kaustubh Joshi (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer-Verlag GmbH | EAN 9783642401954 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 105718849
Inhaltsangabe:
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.
Von der hinteren Coverseite: This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Quantitative Evaluation of Systems | 10th ...
Verlag: Springer-Verlag GmbH
Erscheinungsdatum: 2013
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Verlag:
Springer Berlin Heidelberg, 2013
ISBN 10: 3642401953
ISBN 13: 9783642401954
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 24086377/12
Gebraucht kaufen
EUR 39,79
Versand:
EUR 105,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation. Artikel-Nr. 9783642401954
Neu kaufen
EUR 53,49
Versand:
EUR 63,17
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Quantitative Evaluation of Systems
ISBN 10: 3642401953
ISBN 13: 9783642401954
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch. Artikel-Nr. 9783642401954
Neu kaufen
EUR 53,49
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 2 verfügbar