LIBROS DEL AUTOR: v s alagar

2 resultados para LIBROS DEL AUTOR: v s alagar

v s alagar Eliminar filtro Quitar filtros
  • Specification of Software Systems
    K. Periyasamy / V.S. Alagar
    This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide cove...
    Disponible

    64,48 €

  • Specification of Software Systems
    K. Periyasamy / V.S. Alagar
    This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of modular and verifiable formal specifications. The book introduces several formal specification techniques and illustrates the expre...
    Disponible

    50,12 €