Formal Modeling and Analysis of Timed Systems (Paperback)
Alessandro Abate
ISBN 10: 331965764X ISBN 13: 9783319657646
Editore: Springer International Publishing AG, Cham, 2017
Nuovi
Paperback
Da
AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 22 giugno 2007
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Paperback. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9783319657646
Riassunto:
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 "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Formal Modeling and Analysis of Timed ...
Casa editrice: Springer International Publishing AG, Cham
Data di pubblicazione: 2017
Legatura: Paperback
Condizione: new
I migliori risultati di ricerca su AbeBooks
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
Compra usato
EUR 1,29
Spedizione EUR 4,21
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
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
Compra nuovo
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Formal Modeling and Analysis of Timed Systems | 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Formal Modeling and Analysis of Timed Systems | 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings | Alessandro Abate (u. a.) | Taschenbuch | x | Englisch | 2017 | Springer | EAN 9783319657646 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 109643245
Compra nuovo
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020102516
Compra nuovo
EUR 51,74
Spedizione EUR 3,37
Spedito in U.S.A.
Spedito in U.S.A.
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
Compra nuovo
EUR 52,90
Spedizione EUR 2,23
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 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
Compra nuovo
EUR 53,49
Spedizione EUR 62,76
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
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
Compra nuovo
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 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
Compra nuovo
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
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 Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783319657646
Compra nuovo
EUR 56,87
Spedizione EUR 17,89
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783319657646_new
Compra nuovo
EUR 58,66
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili