PROGRAM DERIVATION THE DEVELOPMENT OF PROGRAMS FORM SPECIFICATIONS
GEOFF DROMEY2222 年出版630 页ISBN:
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN:3540574999
PRIVATE SECTOR DEVELOPMENT POLICIES AND PROGRAMS FOR THE PACIFIC ISLANDS
1992 年出版241 页ISBN:0866381554
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN:3540221522