Jansen david n editor (2 résultats)

Auteur:

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 46, 2018, Proceedings (Lecture Notes in Computer Science)
Jansen, David N. (Editor) / Prabhakar, Pavithra (Editor)
Langue : anglais
Edité par Springer, 2018
3030001504 / 9783030001506
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 81,89
EUR 11,94 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponibles
Paperback. Etat : Brand New. 350 pages. 9.25x6.10x0.68 inches. In Stock.
Découvrir plus de contenus de Anne Remke
Parcourez leurs publications et articles de collection.Explorer Anne Remke
Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 September 3, 2020, Proceedings
Gribaudo, Marco (Editor)/ Jansen, David N. (Editor)/ Remke, Anne (Editor)
Langue : anglais
Edité par Springer-Nature New York Inc, 2020
3030598535 / 9783030598532
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 82,15
EUR 11,94 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponibles
Paperback. Etat : Brand New. 298 pages. 9.25x6.10x0.66 inches. In Stock.

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 46, 2018, Proceedings (Lecture Notes in Computer Science)