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

2 D'occasion

De EUR 74,72

19 Neuf

De EUR 41,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

Acheter D'occasion

�tat : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 74,72

Autre devise

EUR 2,27 exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 41,49

Autre devise

EUR 8 exp�dition depuis Italie vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Formal Methods and Software Engineering: 23rd International...

Image d'archives

Formal Methods and Software Engineering (eng)

Riesco, Adrian

Edit� par Springer, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Neuf Couverture souple

Vendeur : Brook Bookstore, Milano, MI, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. N� de r�f. du vendeur VHMN0MUJ6D

Contacter le vendeur

Acheter neuf

EUR 41,49

Autre devise

Frais de port : EUR 8

De Italie vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering (eng)

Riesco, Adrian

Edit� par Springer, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Neuf Couverture souple

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 5 sur 5 �toiles

Etat : new. N� de r�f. du vendeur VHMN0MUJ6D

Contacter le vendeur

Acheter neuf

EUR 46,22

Autre devise

Frais de port : EUR 6,80

De Italie vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 5 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 : 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 53,19

Autre devise

Frais de port : EUR 3,43

Vers Etats-Unis

Destinations, frais et d�lais

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 62,05

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

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 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,21

Autre devise

Frais de port : EUR 13,78

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

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,

Edit� par Springer, 2022

ISBN 10 : 3031172434 ISBN 13 : 9783031172434

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 44857774-n

Contacter le vendeur

Acheter neuf

EUR 71,46

Autre devise

Frais de port : EUR 2,27

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 15 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,

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 4 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 56,81

Autre devise

Frais de port : EUR 17,82

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

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