Articles liés à Critical Systems: Formal Methods and Automated Verification
Synopsis
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2016
- ISBN 10 3319459422
- ISBN 13 9783319459424
- ReliureBroché
- Langueanglais
- Numéro d'édition1
- Nombre de pages264
- ÉditeurTer Beek Maurice H., Gnesi Stefania, Knapp Alexander
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Critical Systems: Formal Methods and Automated Verification
Image fournie par le vendeur
Critical Systems: Formal Methods and Automated Verification
Edité par
Springer International Publishing, 2016
ISBN 10 : 3319459422
ISBN 13 : 9783319459424
Neuf
Couverture souple
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 Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in . N° de réf. du vendeur 127810788
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Edité par
Springer International Publishing, 2016
ISBN 10 : 3319459422
ISBN 13 : 9783319459424
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 Joint 21st International Workshopon Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed andselected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies. N° de réf. du vendeur 9783319459424
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Critical Systems: Formal Methods and Automated Verification
Edité par
Springer International Publishing Sep 2016, 2016
ISBN 10 : 3319459422
ISBN 13 : 9783319459424
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 refereed proceedings of the Joint 21st International Workshopon Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed andselected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies. 264 pp. Englisch. N° de réf. du vendeur 9783319459424
Quantité disponible : 2 disponible(s)
Image d'archives
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783319459424_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319459424
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Critical Systems: Formal Methods and Automated Verification
ISBN 10 : 3319459422
ISBN 13 : 9783319459424
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 Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. N° de réf. du vendeur 9783319459424
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 27176572-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783319459424
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 27176572-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Critical Systems - Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Criti
Edité par
Springer-Verlag New York Inc, 2016
ISBN 10 : 3319459422
ISBN 13 : 9783319459424
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 264 pages. 9.30x6.20x0.60 inches. In Stock. N° de réf. du vendeur x-3319459422
Quantité disponible : 2 disponible(s)