Articles liés à Formal Modeling and Analysis of Timed Systems: 5th...

Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings - Couverture souple

 
9783540754534: Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Couverture souple
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Editeur : Springer, 2007

Synopsis

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

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

Présentation de l'éditeur

This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.

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

  • ÉditeurSpringer
  • Date d'édition2007
  • ISBN 10 3540754539
  • ISBN 13 9783540754534
  • ReliureBroché
  • Langueanglais
  • Nombre de pages384
  • ÉditeurRaskin Jean-Francois
  • Coordonnées du fabricantnon disponible

Acheter neuf

Afficher cet article
9783540754534: Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
EUR 30,82

Autre devise

Gratuit expédition depuis Etats-Unis vers France

Destinations, frais et délais

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

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

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

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-77447

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Raskin Jean-Francois Thiagarajan P. S.
Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

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

Etat : New. pp. 386. N° de réf. du vendeur 18305039

Contacter le vendeur

Acheter neuf

EUR 23,47
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Raskin J.
Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

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

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-270290

Contacter le vendeur

Acheter neuf

EUR 28,93
Autre devise
Frais de port : EUR 2,92
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 20 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. pp. 386 Illus. N° de réf. du vendeur 7542874

Contacter le vendeur

Acheter neuf

EUR 21,57
Autre devise
Frais de port : EUR 10,48
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

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

Etat : New. pp. 386. N° de réf. du vendeur 26305029

Contacter le vendeur

Acheter neuf

EUR 24,33
Autre devise
Frais de port : EUR 7,86
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

JEAN-FRANCOIS RASKIN, P.S. THIAGARAJAN
Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

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

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-270291

Contacter le vendeur

Acheter neuf

EUR 48,46
Autre devise
Frais de port : EUR 2,92
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Raskin, Jean-Francois|Thiagarajan, P. S.
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Kartoniert / Broschiert
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems examines techniques, algorithms, data structu. N° de réf. du vendeur 4900202

Contacter le vendeur

Acheter neuf

EUR 48,37
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 fournie par le vendeur

P. S. Thiagarajan
Edité par Springer Berlin Heidelberg, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

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

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering. N° de réf. du vendeur 9783540754534

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

P. S. Thiagarajan
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

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

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers work on foundations and semantics of timed systems; examines techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints; and details applications like real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication. 384 pp. Englisch. N° de réf. du vendeur 9783540754534

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2007
ISBN 10 : 3540754539 ISBN 13 : 9783540754534
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 ria9783540754534_new

Contacter le vendeur

Acheter neuf

EUR 61,95
Autre devise
Frais de port : EUR 4,72
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 3 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre