Sciweavers

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