Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings - Couverture souple

9783319448770: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Couverture souple

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Editeur : Springer, 2016

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 3

13 Neuf

De EUR 48,37

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.

The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2016
Langue: anglais
ISBN 10: 3319448773
ISBN 13: 9783319448770
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 260
�diteur: Fr�nzle Martin, Markey Nicolas
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Tr�s bon

Editeur diff�rent. Ammareal reverse...

Afficher cet article

EUR 3

Autre devise

EUR 3,50 exp�dition vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 48,37

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783319448794: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Edition pr�sent�e

ISBN 10 : 331944879X ISBN 13 : 9783319448794
Editeur : Springer, 2016
Couverture souple

R�sultats de recherche pour Formal Modeling and Analysis of Timed Systems: 14th...

Image d'archives

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedi

Martin Fr�nzle et Nicolas Markey

Edit� par Springer, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Ancien ou d'occasion Softcover

Vendeur : Ammareal, Morangis, France

�valuation du vendeur 5 sur 5 �toiles

Softcover. Etat : Tr�s bon. Editeur diff�rent. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations. N� de r�f. du vendeur E-571-013

Contacter le vendeur

Acheter D'occasion

EUR 3

Autre devise

Frais de port : EUR 3,50

Vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Modeling and Analysis of Timed Systems

Fr�nzle, Martin|Markey, Nicolas

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully r. N� de r�f. du vendeur 127550830

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 d'archives

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Theoretical Computer Science and General Issues)

Edit� par Springer, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319448770_new

Contacter le vendeur

Acheter neuf

EUR 58,61

Autre devise

Frais de port : EUR 4,62

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Nicolas Markey

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis. N� de r�f. du vendeur 9783319448770

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

Formal Modeling and Analysis of Timed Systems

Nicolas Markey

Edit� par Springer International Publishing Aug 2016, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Neuf Taschenbuch

impression � la demande

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

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis. 260 pp. Englisch. N� de r�f. du vendeur 9783319448770

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

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science)

Martin Fr�nzle, Nicolas Markey

Edit� par Springer 2016-08-17, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783319448770

Contacter le vendeur

Acheter neuf

EUR 56,90

Autre devise

Frais de port : EUR 10,99

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Modeling and Analysis of Timed Systems

Nicolas Markey

Edit� par Springer International Publishing, Springer International Publishing Aug 2016, 2016

ISBN 10 : 3319448773 ISBN 13 : 9783319448770

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch. N� de r�f. du vendeur 9783319448770

Contacter le vendeur