Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers: . in Computer and Information Science, 1165)

-

ISBN 10: 3030469018 ISBN 13: 9783030469016

Edit� par Springer -, 2020

Ancien(s) ou d'occasion paperback

Vendeur Bahamut Media, Reading, Royaume-Uni �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 15 ao�t 2012

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. N� de r�f. du vendeur 6545-9783030469016

Signaler cet article

Synopsis :

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.
The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.

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

D�tails bibliographiques

Titre : Formal Techniques for Safety-Critical ...
�diteur : Springer -
Date d'�dition : 2020
Reliure : paperback
Etat : Very Good

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Unbekannt

Edit� par Springer, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: B�cher | This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models. N� de r�f. du vendeur 36335669/1

Contacter le vendeur

Acheter D'occasion

EUR 41,32

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Techniques for Safety-Critical Systems (eng)

Hasan, Osman

Edit� par Springer, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 3 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur MTJOH6KDZC

Contacter le vendeur

Acheter neuf

EUR 46,22

Exp�dition �EUR 5,50
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Safety-Critical Systems

Hasan, Osman|Mallet, Fr�d�ric

Edit� par Springer International Publishing, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,&nbspin November 2019.The 6 revised full papers presented were carefully re. N� de r�f. du vendeur 385700290

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Safety-Critical Systems | 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Osman Hasan (u. a.)

Edit� par Springer, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 50,35

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Safety-Critical Systems

Osman Hasan

Edit� par Springer, Springer Apr 2020, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 152 pp. Englisch. N� de r�f. du vendeur 9783030469016

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Safety-Critical Systems

Fr�d�ric Mallet

Edit� par Springer International Publishing Apr 2020, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

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 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems;methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry;code generation from validated models. 152 pp. Englisch. N� de r�f. du vendeur 9783030469016

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Fr�d�ric Mallet

Edit� par Springer, 2020

ISBN 10 : 3030469018 ISBN 13 : 9783030469016

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 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China,in November 2019.The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems;methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry;code generation from validated models. N� de r�f. du vendeur 9783030469016

Contacter le vendeur