Computers & Internet Books:

Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$137.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 2-3 weeks

Buy Now, Pay Later with:

4 payments of $34.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-20 May using International Courier

Description

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.
Release date Australia
September 12th, 2013
Audience
  • Professional & Vocational
Contributors
  • Edited by Mario Bravetti
  • Edited by Mercedes G Merayo
  • Edited by Robert M. Hierons
Illustrations
113 Illustrations, black and white; XVIII, 321 p. 113 illus.
Pages
321
Dimensions
155x235x18
ISBN-13
9783642405600
Product ID
21583724

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...