Object-oriented Specification Case Studies (Prentice-Hall Object-Oriented)

by Lano (Author), Haughton (Author)

• Used

  Textbook Binding
  1993

  $11.87

  Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques.