Articoli correlati a 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: 15th International Conference, Proceedings: 10419 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Formal Modeling and Analysis of Timed Systems: 15th...
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems
Editore:
Springer International Publishing, 2017
ISBN 10: 331965764X
ISBN 13: 9783319657646
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Codice articolo 155241547
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems
Editore:
Springer International Publishing Aug 2017, 2017
ISBN 10: 331965764X
ISBN 13: 9783319657646
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783319657646
Quantità: 2 disponibili
Foto dell'editore
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)
Da: PlumCircle, West Mifflin, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: 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. Codice articolo mon0001244071
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5¿7, 2017, Proceedings
ISBN 10: 331965764X
ISBN 13: 9783319657646
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783319657646
Quantità: 1 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems
ISBN 10: 331965764X
ISBN 13: 9783319657646
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. 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.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch. Codice articolo 9783319657646
Quantità: 2 disponibili
Foto dell'editore
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319657646_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 29773630-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 29773630-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Formal Modeling and Analysis of Timed Systems : 15th International Conference, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 29773630
Quantità: Più di 20 disponibili
Foto dell'editore
Formal Modeling & Analysis Of Timed Syst
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo V9783319657646
Quantità: 15 disponibili