Description: Software Engineering and Formal Methods Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings Author(s): Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti Format: Paperback Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Germany Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K ISBN-13: 9783642405600, 978-3642405600 Synopsis This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Price: 38.2 GBP
Location: Aldershot
End Time: 2024-11-29T09:05:25.000Z
Shipping Cost: 25.49 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Software Engineering and Formal Methods
Item Height: 235 mm
Item Width: 155 mm
Series: Lecture Notes in Computer Science
Author: Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo
Publication Name: Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Format: Paperback
Language: English
Publisher: Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
Subject: Computer Science
Publication Year: 2013
Type: Textbook
Item Weight: 5153 g
Number of Pages: 321 Pages
