Articles liés à Formal Modeling and Analysis of Timed Systems: 15th...
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings - Couverture souple
Synopsis
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 52,41
EUR 3,41 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Formal Modeling and Analysis of Timed Systems: 15th...
Image d'archives
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5â"7, 2017, Proceedings (Lecture . (Lecture Notes in Computer Science, 10419)
Edité par
Springer, 2017
ISBN 10 : 331965764X
ISBN 13 : 9783319657646
Ancien ou d'occasion
paperback
Vendeur : PlumCircle, West Mifflin, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Somewhat damaged. May have bumped corner, torn dust cover, folded pages, light dust soil, remainder mark, price sticker, other damage, or be bent. 99% of orders arrive in 4-10 days. Discounted shipping on multiple books. N° de réf. du vendeur mon0001244071
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture ... Computer Science and General Issues)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020102516
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29773630-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture ... Computer Science and General Issues)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783319657646
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings
Edité par
Springer, 2017
ISBN 10 : 331965764X
ISBN 13 : 9783319657646
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 29773630
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture ... Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319657646_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783319657646
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems
Edité par
Springer International Publishing Aug 2017, 2017
ISBN 10 : 331965764X
ISBN 13 : 9783319657646
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems. 364 pp. Englisch. N° de réf. du vendeur 9783319657646
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 29773630-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 353. N° de réf. du vendeur 26375430038
Quantité disponible : 4 disponible(s)