Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings - Couverture souple

9789819606160: Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Couverture souple

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Editeur : Springer, 2024

Afficher les exemplaires de cette �dition comportant l?ISBN

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.

The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2024
Langue: anglais
ISBN 10: 9819606160
ISBN 13: 9789819606160
Reliure: Broch�
Nombre de pages: 424
�diteur: Ogata Kazuhiro, Mery Dominique, Sun Meng, Liu Shaoying
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

R�sultats de recherche pour Formal Methods and Software Engineering: 25th International...

Image d'archives

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9789819606160

Contacter le vendeur

Acheter neuf

EUR 79,54

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9789819606160_new

Contacter le vendeur

Acheter neuf

EUR 75,92

EUR 13,73 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Engineering

Kazuhiro Ogata

Edit� par Springer, Berlin, Springer Nature Singapore, Springer, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

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 volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods 410 pp. Englisch. N� de r�f. du vendeur 9789819606160

Contacter le vendeur

Acheter neuf

EUR 70,61

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 26404216630

Contacter le vendeur

Acheter neuf

EUR 96,18

EUR 3,39 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 408970473

Contacter le vendeur

Acheter neuf

EUR 99,03

EUR 7,45 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Engineering

Edit� par Springer Verlag GmbH, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N� de r�f. du vendeur 1929864581

Contacter le vendeur

Acheter neuf

EUR 62,90

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18404216636

Contacter le vendeur

Acheter neuf

EUR 101,96

EUR 9,95 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering (Paperback)

Kazuhiro Ogata

Edit� par Springer Nature Switzerland AG, Cham, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Paperback

impression � la demande

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9789819606160

Contacter le vendeur

Acheter neuf

EUR 85

EUR 42,41 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Engineering

Kazuhiro Ogata

Edit� par Springer Nature Singapore Nov 2024, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methodsSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch. N� de r�f. du vendeur 9789819606160

Contacter le vendeur

Acheter neuf

EUR 70,61

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Kazuhiro Ogata

Edit� par Springer Nature Singapore, 2024

ISBN 10 : 9819606160 ISBN 13 : 9789819606160

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 volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods. N� de r�f. du vendeur 9789819606160

Contacter le vendeur

Acheter neuf

EUR 77,37

EUR 63,20 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier