Validation and Verification of Formal Specifications in Object-Oriented Software

FAST SHIP Design Patterns Elements of Reusable ObjectOriented Software By Erich

Validation and Verification of Formal Specifications in Object-Oriented Software

Beckert - Formal Verification of Object-Oriented Software Internatio - X555z

Introduction to Formal Hardware Verification by

Uml and C: A Practical Guide to Objectoriented Development

ObjectOriented Software Design in C by Ronald Mak HARDBACK 9781633439504

Design Patterns Elements of Reusable ObjectOriented Software By Erich