FORMAL DEVELPMENT OF PROGRAMS AND PROOFS
EDSGER W.DUKSTRA2222 年出版242 页ISBN:0201172372
Visual Languages for Interactive Computing:Definitions and Formalizations
2008 年出版514 页ISBN:9781599045344
MICROSOFT WINDOWS 98 INTRODUCTORY EDITION INTERACTIVE COMPUTING SERIES
KENNETH C.LAUDON KENNETH ROSENBLATT1999 年出版208 页ISBN:0072349344
INTERACTIVE ENGLISH LESSON 1.1 AN EXPERIENCE WITH LANGUAGE
1997 年出版30 页ISBN:6452094230
READING MATTERS 3:AN INTERACTIVE APPROACH TO READING
NADIA HENEIN AND MARY LEE WHOLEY2001 年出版258 页ISBN: