Formal Object Oriented Specification Using Object-Z

Rose Gordon , Duke Roger

This text presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes numerous and varied case studies.
  • Limba : Engleza
  • Numar pagini : 240
  • ISBN : 9780333801239
Rating:
312.99 Lei
Disponibilitate : 4-6 saptamani

Acest produs este disponibil in stocul furnizorilor okian.ro si poate fi livrat in 4-6 saptamani