Sciweavers

4880 search results - page 50 / 976
» Manuals as Structured Programs
Sort
View
ANSS
1998
IEEE
14 years 3 months ago
Structured Parallel Simulation Modeling and Programming
Yong Meng Teo, Seng Chuan Tay, Siew Theng Kong
WADT
1999
Springer
14 years 3 months ago
Extraction of Structured Programs from Specification Proofs
John N. Crossley, Iman Poernomo, Martin Wirsing