Montant total (1 article articles) :
Destination de la commande :
falk howar (30 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (30)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (28)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (Aucun autre résultat ne correspond à ces critères)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (30)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (12)
- Sans impressions à la demande (22)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45 (Aucun autre résultat ne correspond à ces critères)
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Formal Methods for Industrial Critical Systems : 23rd International Conference, Fmics 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,42
Autre deviseEUR 2,25 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Industrial Critical Systems (Paperback)
Edité par Springer Nature Switzerland AG, Cham, 2018
ISBN 10 : 3030002438 ISBN 13 : 9783030002435
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,75
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,26
Autre deviseEUR 3,40 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,26
Autre deviseEUR 7,65 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Formal Methods for Industrial Critical Systems : 23rd International Conference, Fmics 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,12
Autre deviseEUR 2,25 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,96
Autre deviseEUR 13,72 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 56,35
Autre deviseEUR 17,74 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Formal Methods for Industrial Critical Systems : 23rd International Conference, Fmics 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,28
Autre deviseEUR 17,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 74,51
Autre deviseEUR 3,40 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 291 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Formal Methods for Industrial Critical Systems : 23rd International Conference, Fmics 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 65,74
Autre deviseEUR 17,18 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Formal Methods For Industrial Critical
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,86
Autre deviseEUR 10,50 expédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods For Industrial Critical
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,61
Autre deviseEUR 8,95 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,85
Autre deviseEUR 28,64 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 308 pages. 9.25x6.10x0.70 inches. In Stock.
-
Formal Methods for Industrial Critical Systems
Edité par Springer International Publishing, Springer Nature Switzerland Aug 2018, 2018
ISBN 10 : 3030002438 ISBN 13 : 9783030002435
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 60 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.
-
Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Edité par Springer International Publishing, Springer International Publishing, 2018
ISBN 10 : 3030002438 ISBN 13 : 9783030002435
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 62,35 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
-
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (Lecture Notes in Computer Science)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 122,12
Autre deviseEUR 7,65 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Formal Methods for Industrial Critical Systems (Paperback)
Edité par Springer Nature Switzerland AG, Cham, 2018
ISBN 10 : 3030002438 ISBN 13 : 9783030002435
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 107,34
Autre deviseEUR 31,53 expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Tests and Proofs (Paperback)
Edité par Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031720431 ISBN 13 : 9783031720437
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 158,75
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAPs scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 15153)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 178,19
Autre deviseEUR 3,40 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 2025th edition NO-PA16APR2015-KAP.
-
Tests and Proofs
Edité par Springer International Publishing, Springer Nature Switzerland Sep 2024, 2024
ISBN 10 : 3031720431 ISBN 13 : 9783031720437
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 139,09
Autre deviseEUR 60 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Neuware -¿This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions. TAP¿s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.
-
Tests and Proofs : 18th International Conference, TAP 2024, Milan, Italy, September 9¿10, 2024, Proceedings
Edité par Springer Nature Switzerland, 2024
ISBN 10 : 3031720431 ISBN 13 : 9783031720437
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 139,09
Autre deviseEUR 61,50 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions.TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.
-
Tests and Proofs: 18th International Conference, Tap 2024, Milan, Italy, September 910, 2024, Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 188,93
Autre deviseEUR 28,64 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 200 pages. 9.25x6.10x9.25 inches. In Stock.
-
Formal Methods for Industrial Critical Systems
Edité par Springer International Publishing Aug 2018, 2018
ISBN 10 : 3030002438 ISBN 13 : 9783030002435
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Autre deviseEUR 23 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in honor of Susanne Graf (Director of Research at VERIMAG Grenoble, France) on the occasion of her 60th birthday. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 308 pp. Englisch.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 75,94
Autre deviseEUR 7,45 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 291.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,59
Autre deviseEUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 291.
-
Formal Methods for Industrial Critical Systems
Edité par Springer International Publishing, 2018
ISBN 10 : 3030002438 ISBN 13 : 9783030002435
Langue: anglais
EUR 48,37
Autre deviseEUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were.
-
Tests and Proofs
Edité par Springer, Berlin, Springer Nature Switzerland, Springer, 2024
ISBN 10 : 3031720431 ISBN 13 : 9783031720437
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 139,09
Autre deviseEUR 23 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions.TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. 172 pp. Englisch.
-
EUR 118,61
Autre deviseEUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
-
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 15153)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 187,62
Autre deviseEUR 7,45 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
-
Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9?10, 2024, Proceedings (Lecture Notes in Computer Science, 15153)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 192,21
Autre deviseEUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.
