Delivery included to the United States

Formal Methods for Industrial Critical Systems Programming and Software Engineering

Formal Methods for Industrial Critical Systems Programming and Software Engineering 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Lecture Notes in Computer Science

2010 edition

Paperback (09 Sep 2010)

Save $18.74

  • RRP $74.94
  • $56.20
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering.

Book information

ISBN: 9783642158971
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2010 edition
Language: English
Number of pages: 231
Weight: 386g
Height: 234mm
Width: 155mm
Spine width: 15mm