Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 2008, Proceedings - Couverture souple

9783540881933: Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 2008, Proceedings

Couverture souple

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 26,23

14 Neuf

De EUR 33,19

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008. The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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

Pr�sentation de l'�diteur

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 354088193X
ISBN 13: 9783540881933
Reliure: Broch�
Nombre de pages: 412
�diteur: 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: 10th International...

Image d'archives

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October . / Programming and Software Engineering)

Liu, Shaoying [Editor]; Maibaum, Tom [Editor]; Araki, Keijiro [Editor];

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-0168

Contacter le vendeur

Acheter D'occasion

EUR 26,23

Frais de port : EUR 6,07

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008

Keijiro Araki, Tom Maibaum, Shaoying Liu

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N� de r�f. du vendeur ABNR-1377

Contacter le vendeur

Acheter neuf

EUR 33,19

Frais de port : Gratuit

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008

Keijiro Araki, Tom Maibaum, Shaoying Liu

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N� de r�f. du vendeur ABEOCT25-245040

Contacter le vendeur

Acheter neuf

EUR 33,19

Frais de port : Gratuit

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008

Keijiro Araki, Tom Maibaum, Shaoying Liu

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N� de r�f. du vendeur ASNT3-1377

Contacter le vendeur

Acheter neuf

EUR 34,58

Frais de port : Gratuit

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... (Lecture Notes in Computer Science, 5256)

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

Vendeur : ALLBOOKS1, Direk, SA, Australie

�valuation du vendeur 5 sur 5 �toiles

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N� de r�f. du vendeur SHAK245040

Contacter le vendeur

Acheter neuf

EUR 37,65

Frais de port : Gratuit

De Australie vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... (Lecture Notes in Computer Science, 5256)

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

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 ABLIING23Mar3113020177744

Contacter le vendeur

Acheter neuf

EUR 53,67

Frais de port : EUR 3,46

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

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

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 412. N� de r�f. du vendeur 26469556

Contacter le vendeur

Acheter neuf

EUR 57,31

Frais de port : EUR 3,46

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 412 Illus. N� de r�f. du vendeur 7378411

Contacter le vendeur

Acheter neuf

EUR 58,16

Frais de port : EUR 7,39

De Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering

Liu Shaoying Araki Keijiro Maibaum Tom

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. pp. 412. N� de r�f. du vendeur 18469566

Contacter le vendeur

Acheter neuf

EUR 57,90

Frais de port : EUR 9,95

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... (Lecture Notes in Computer Science, 5256)

Edit� par Springer, 2008

ISBN 10 : 354088193X ISBN 13 : 9783540881933

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 ria9783540881933_new

Contacter le vendeur

Acheter neuf

EUR 57,56

Frais de port : EUR 13,63

De Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

There are 7 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre