Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings - Couverture souple
Synopsis
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Methods for Industrial Critical Systems: 27th...
Image d'archives
Formal Methods for Industrial Critical Systems (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. N° de réf. du vendeur 6W2UAUL5FW
Acheter neuf
EUR 62,23
Frais de port :
EUR 5,50
De Italie vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Formal Methods for Industrial Critical Systems (Paperback)
Edité par
Springer International Publishing AG, Cham, 2022
ISBN 10 : 3031150074
ISBN 13 : 9783031150074
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031150074
Acheter neuf
EUR 71,68
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Industrial Critical Systems: 27th International Conference, Fmics 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Edité par
Springer-Nature New York Inc, 2022
ISBN 10 : 3031150074
ISBN 13 : 9783031150074
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 255 pages. 9.25x6.10x0.67 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3031150074
Acheter neuf
EUR 70,31
Frais de port :
EUR 11,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031150074_new
Acheter neuf
EUR 69,29
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Industrial Critical Systems (eng)
Vendeur : Brook Bookstore, Milano, MI, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. N° de réf. du vendeur 6W2UAUL5FW
Acheter neuf
EUR 57,50
Frais de port :
EUR 27,99
De Italie vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783031150074
Acheter neuf
EUR 68,25
Frais de port :
EUR 17,62
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Formal Methods for Industrial Critical Systems
Edité par
Springer International Publishing Aug 2022, 2022
ISBN 10 : 3031150074
ISBN 13 : 9783031150074
Neuf
Taschenbuch
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 proceedings of the 27th International Conference onFormal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology. 256 pp. Englisch. N° de réf. du vendeur 9783031150074
Acheter neuf
EUR 74,89
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14?15, 2022, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26396368671
Acheter neuf
EUR 101,85
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Formal Methods for Industrial Critical Systems (Paperback)
Edité par
Springer International Publishing AG, Cham, 2022
ISBN 10 : 3031150074
ISBN 13 : 9783031150074
Neuf
Paperback
Edition originale
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology. This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9783031150074
Acheter neuf
EUR 75,43
Frais de port :
EUR 31,99
De Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Methods for Industrial Critical Systems
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10 : 3031150074
ISBN 13 : 9783031150074
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 668447953
Acheter neuf
EUR 65,94
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles