Bookbot

Specification and Development of Interactive Systems

Mehr zum Buch

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.

Publikation

Buchkauf

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

Sprache
Erscheinungsdatum
2012
product-detail.submit-box.info.binding
(Paperback)
Wir benachrichtigen dich per E-Mail.

Lieferung

  •  

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben