Delivery included to the United States

Formal Methods and Software Engineering

Formal Methods and Software Engineering 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings - Lecture Notes in Computer Science

2002

Paperback (09 Oct 2002)

Save $7.39

  • RRP $123.03
  • $115.64
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

Book information

ISBN: 9783540000297
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2002
Language: English
Number of pages: 636
Weight: 1960g
Height: 234mm
Width: 156mm
Spine width: 33mm