Artículos relacionados a Formal Modeling and Analysis of Timed Systems: 9th...
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings: 6919 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalborg, Denmark, in September 2011. The 20 revised full papers presented together with three invited talks were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on probabilistic methods, robustness, games, verification and testing, verification, hybrid systems, and applications.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2011
- ISBN 10 3642243096
- ISBN 13 9783642243097
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas368
- EditorFahrenberg Uli, Tripakis Stavros
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 62,12
EUR 4,72 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Modeling and Analysis of Timed Systems: 9th...
Imagen de archivo
Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Publicado por
Springer-Verlag GmbH, 2011
ISBN 10: 3642243096
ISBN 13: 9783642243097
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 351 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 11243679/12
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science, 6919)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642243097_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Modeling and Analysis of Timed Systems
Publicado por
Springer Berlin Heidelberg, 2011
ISBN 10: 3642243096
ISBN 13: 9783642243097
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art research Fast-track conference proceedings Unique visibilityThis book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in . Nº de ref. del artículo: 5053524
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science, 6919)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783642243097
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642243097
Cantidad disponible: 10 disponibles
Imagen de archivo
Formal Modeling and Analysis of Timed Systems: 9th International Conference, Formats 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Publicado por
Springer-Verlag New York Inc, 2011
ISBN 10: 3642243096
ISBN 13: 9783642243097
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2011 edition. 364 pages. 9.20x6.10x0.80 inches. In Stock. Nº de ref. del artículo: x-3642243096
Cantidad disponible: 2 disponibles
Imagen de archivo
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings (Lecture Notes in Computer Science, 6919)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020221581
Cantidad disponible: Más de 20 disponibles