Application environment specification (AES) : user environment volume, revision B

Spesifikasi kebutuhan sistem informasi roadnet integrasi dengan dynamics axapta pada pt sewu segar nusantara = Requirements specification for roadnet information system integration with dynamics axapta at pt sewu segar nusantara / Radityo Dwi Wicaksono

Foundations of algebraic specification and formal software development

Introduction to algorithms

Syndevs co-design flow: a hardware / software co-design flow based on the discrete event system specification model of computation