Titel: Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008
Verlag: Springer
Erscheinungsjahr: 2008
Sprache: Englisch
ISBN-10: 354088193X
ISBN-13: 9783540881933
Einband: Softcover
Zustand: Brand New

�ber diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Versandbedingungen

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Impressum & Info zum Verk�ufer