Pinger ralf editor (2 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Stoelinga, Mariëlle (Editor) / Pinger, Ralf (Editor)
Langue : anglais
Edité par Springer, 2012
3642324681 / 9783642324680
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 74,31
EUR 11,97 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponibles
Paperback. Etat : Brand New. 2012 edition. 237 pages. 9.20x6.10x0.70 inches. In Stock.
Découvrir plus de contenus de Mariëlle Stoelinga
Parcourez leurs publications et articles de collection.Explorer Mariëlle Stoelinga
Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Lecomte, Thierry (Editor)/ Pinger, Ralf (Editor)/ Romanovsky, Alexander (Editor)
Langue : anglais
Edité par Springer-Verlag New York Inc, 2016
3319339508 / 9783319339504
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 81,82
EUR 41,91 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponibles
Paperback. Etat : Brand New. 268 pages. 9.25x6.10x0.61 inches. In Stock.

Pinger ralf editor (2 résultats)

Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings