Description: Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, Isfem 2003, Singapore, November 5-7, 2003 : Proceedings, Paperback by Dong, Jin Song; Woodcock, Jim (EDT); INTERNATIONAL CONFERENCE ON FORMAL ENGIN, ISBN 354020461X, ISBN-13 9783540204619, Like New Used, Free shipping in the US This volume contains the proceedings of the 2003 International Conference on Formal Engineering Methods (ICFEM 2003). The conference was the ?fth in a series that began in 1997. ICFEM 2003 was held in Singapore during 5–7 November 2003. ICFEM 2003 aimed to bring together researchers and practitioners from - dustry, academia, and government to advance the state of the art in formal engineering methods and to encourage a wider uptake of formal methods in industry. The Program Committee received 91 submissions from more than 20 co- tries in various regions. After each paper was reviewed by at least three referees in each relevant ?eld, 34 high-quality papers were accepted based on originality, technical content, presentation and relevance to formal methods and software engineering. We wish to sincerely thank all authors who submitted their work for consideration. We would also like to thank the Program Committee members and other reviewers for their great e?orts in the reviewing and selecting process. Weareindebtedtothethreekeynotespeakers, sity of Queensland, Prof. Mathai Joseph of the Tata Research, Development and DesignCentre,’HalloranofQinetiQ,foracceptingourinvitation to address the conference.
Price: 128.53 USD
Location: Jessup, Maryland
End Time: 2024-12-29T09:23:15.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Formal Methods and Software Engineering : 5th International Confe
Number of Pages: Xi, 682 Pages
Publication Name: Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 2003, Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Subject: Software Development & Engineering / General, Computer Science, Compilers
Publication Year: 2003
Item Weight: 75.1 Oz
Type: Textbook
Item Length: 9.3 in
Author: Jim Woodcock
Subject Area: Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
