Knihobot

Specification and Development of Interactive Systems

Více o knize

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.

Vydání

Nákup knihy

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

Jazyk
Rok vydání
2012
product-detail.submit-box.info.binding
(měkká)
Jakmile se objeví, pošleme e-mail.

Doručení

  •  

Platební metody

Nikdo zatím neohodnotil.Ohodnotit