Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings - Couverture souple

9783031172434: Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Couverture souple

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Editeur : Springer, 2022

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 35,81

15 Neuf

De EUR 52,49

This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

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

�diteur: Springer
Date d'�dition: 2022
Langue: anglais
ISBN 10: 3031172434
ISBN 13: 9783031172434
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 460
�diteur: Riesco Adrian, Zhang Min
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: 23rd International...

Image d'archives

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 52,49

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering (Paperback)

Adrian Riesco

Edit� par Springer International Publishing AG, Cham, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

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 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783031172434

Contacter le vendeur

Acheter neuf

EUR 55,97

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 2427, 2022, . (Lecture Notes in Computer Science, 13478)

Riesco, Adrian (Editor) / Zhang, Min (Editor)

Edit� par Springer, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Neuf Paperback

impression � la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 455 pages. 9.25x6.10x0.87 inches. In Stock. This item is printed on demand. N� de r�f. du vendeur __3031172434

Contacter le vendeur

Acheter neuf

EUR 53,13

EUR 14,33 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

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 ria9783031172434_new

Contacter le vendeur

Acheter neuf

EUR 58,22

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022,

Riesco, Adrian

Edit� par Springer 2022-10, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783031172434

Contacter le vendeur

Acheter neuf

EUR 56,61

EUR 17,76 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods and Software Engineering

Min Zhang

Edit� par Springer International Publishing Okt 2022, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

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 book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. 460 pp. Englisch. N� de r�f. du vendeur 9783031172434

Contacter le vendeur