Stock image for illustration purposes only - book cover, edition or condition may vary.
Software Engineering and Formal Methods
. Ed(S): Eleftherakis, George; Hinchey, Mike; Holcombe, Mike
€ 65.29
FREE Delivery in Ireland
Description for Software Engineering and Formal Methods
Paperback. Editor(s): Eleftherakis, George; Hinchey, Mike; Holcombe, Mike. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 398 pages, 103 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 559.
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.
This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
398
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
384
Place of Publication
Berlin, Germany
ISBN
9783642338250
SKU
V9783642338250
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Software Engineering and Formal Methods