Bookbot

Specification and Development of Interactive Systems

Más información sobre el libro

This book offers a mathematical and logical framework for software and systems engineering, focusing on modular system development through component specifications and refinement concepts. It targets computer scientists and engineers interested in foundational principles rather than practical industrial methods.

Publicación

Compra de libros

Specification and Development of Interactive Systems, Ketil Stølen, Manfred Broy

Idioma
Publicado en
2012
product-detail.submit-box.info.binding
(Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña