Interactive Systems:Design, Specification, and Verification

Materias

• Logic design
• Information storage and retrieval systems
• Computer science
• Software engineering

Ediciones (1)

• Interactive Systems:Design, Specification, and Verification (2002)

  Springer-Verlag Berlin Heidelberg · inglés · ISBN 9783540362357

Más obras de Peter Forbrig