Formal methods and software engineering

Title Statements

• Full title :Formal methods and software engineering / edited by Shengchao Qin, Zongyan Qiu.

Edition Statements

• Publication Date:2011.

Publication Statements

• Publisher(s):Springer
• Place of Publication:Berlin
• Language:eng
• Publication Date:2011.

Notes

The Physical Object

• Description:1 volume ; : 24 cm.

Edition Identifiers

• ISBN:9783642245589, 3642245587
• oclc:ocn760292839
• Dewey Decimal:005.1

Subjects

Writers

More from this Series

• Software engineering techniques

  2011.

  more →

  

• Autonomic and trusted computing

  2011.

  more →

  

• Computer safety, reliability, and security

  2011.

  more →

  

• Agent-oriented software engineering XI

  2011.

  more →

  

• Model and data engineering

  2011.

  more →