BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Software Engineering and Formal Methods: 11th International Conference, Sefm
Stock photo: cover may vary

Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings Paperback - 2013

by Robert M. Hierons (Editor); Mercedes G. Merayo (Editor); Mario Bravetti (Editor)

Add to wish list

Reader reviews for Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

From the publisher

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.

Details

  • Title Software Engineering and Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings
  • Author Robert M. Hierons (Editor); Mercedes G. Merayo (Editor); Mario Bravetti (Editor)
  • Binding Paperback
  • Pages 321
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2013-09-12
  • Illustrated Yes
  • Features Illustrated
  • ISBN 9783642405600 / 3642405606
  • Weight 1.05 lbs (0.48 kg)
  • Dimensions 9.21 x 6.14 x 0.71 in (23.39 x 15.60 x 1.80 cm)
  • Category Computers - Languages / Programming
  • Dewey Decimal Code 004.6

More Copies for Sale

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid,...

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642405600 / 3642405606
Quantity available
659
Seller
Item price
A$104.35
A$15.45 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 carefull
Add to wish list
Item price
A$104.35
A$15.45 Delivery to USA
Software Engineering and Formal Methods
Stock photo: cover may vary

Software Engineering and Formal Methods

by ,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783642405600 / 3642405606
Quantity available
5
Seller
Item price
A$86.55
A$5.78 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$86.55
A$5.78 Delivery to USA
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain,...

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

by Robert M. Hierons

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642405600 / 3642405606
Quantity available
10
Seller
Item price
A$115.87
A$19.24 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$115.87
A$19.24 Delivery to USA
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain,...
Stock photo: cover may vary

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

by Hierons, Robert (Edited by)/ Merayo, Mercedes G. (Edited by)/ Bravetti, Mario (Edited by)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783642405600 / 3642405606
Quantity available
2
Seller
Item price
A$129.72
A$29.00 Delivery to USA

Show details

Description:
Springer, 2013. Paperback. New. 2013 edition. 330 pages. 9.20x6.10x0.80 inches.
Add to wish list
Item price
A$129.72
A$29.00 Delivery to USA
Software Engineering and Formal Methods
Stock photo: cover may vary

Software Engineering and Formal Methods

by ,

  • New
Condition
New
ISBN 10 / ISBN 13
9783642405600 / 3642405606
Quantity available
5
Seller
Item price
A$137.38
A$5.78 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$137.38
A$5.78 Delivery to USA
Software Engineering and Formal Methods
Stock photo: cover may vary

Software Engineering and Formal Methods

  • New
Condition
New
ISBN 10 / ISBN 13
9783642405600 / 3642405606
Quantity available
4
Seller
Item price
A$137.40
A$5.78 Delivery to USA

Show details

Description:
Springer , pp. 340 . Papeback. New.
Add to wish list
Item price
A$137.40
A$5.78 Delivery to USA