Articles liés à 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 - Couverture souple

 
9783642243097: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Couverture souple
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Editeur : Springer, 2011

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2011
  • ISBN 10 3642243096
  • ISBN 13 9783642243097
  • ReliureBroché
  • Langueanglais
  • Nombre de pages368
  • ÉditeurFahrenberg Uli, Tripakis Stavros
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 351...
Afficher cet article
9783642243097: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
EUR 34,65

Autre devise

EUR 5,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783642243097: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
EUR 48,74

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9783540844648: Formal Modeling and Analysis of Timed Systems

Edition présentée

ISBN 10 :  3540844643 ISBN 13 :  9783540844648
Couverture souple

Résultats de recherche pour Formal Modeling and Analysis of Timed Systems: 9th...

Image d'archives

Unbekannt
Edité par Springer-Verlag GmbH, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 351 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 11243679/12

Contacter le vendeur

Acheter D'occasion

EUR 34,65
Autre devise
Frais de port : EUR 5,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Fahrenberg, Uli|Tripakis, Stavros
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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 réf. du vendeur 5053524

Contacter le vendeur

Acheter neuf

EUR 48,74
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783642243097_new

Contacter le vendeur

Acheter neuf

EUR 62,12
Autre devise
Frais de port : EUR 4,74
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783642243097

Contacter le vendeur

Acheter neuf

EUR 66,82
Autre devise
Frais de port : EUR 7,01
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Fahrenberg, Uli
Edité par Springer 2011-09, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642243097

Contacter le vendeur

Acheter neuf

EUR 68,82
Autre devise
Frais de port : EUR 11,26
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Fahrenberg, Uli (Editor)/ Tripakis, Stavros (Editor)
Edité par Springer-Verlag New York Inc, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 2011 edition. 364 pages. 9.20x6.10x0.80 inches. In Stock. N° de réf. du vendeur x-3642243096

Contacter le vendeur

Acheter neuf

EUR 81,29
Autre devise
Frais de port : EUR 11,87
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2011
ISBN 10 : 3642243096 ISBN 13 : 9783642243097
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020221581

Contacter le vendeur

Acheter neuf

EUR 53,77
Autre devise
Frais de port : EUR 65,75
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier