Krakatoa, west of Java']Java

被引：0
|
作者：
George, KM
机构：
来源：
NEW YORK TIMES BOOK REVIEW | 2003年
关键词：
D O I：
暂无
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
引用
收藏
页码：4 / 4
页数：1
相关论文
共 50 条
  • [1] Krakatoa: Works with Java']Java
    不详
    [J]. INTERNET WORLD, 1996, 7 (06): : 22 - 22
  • [2] The KRAKATOA tool for certification of JAVA']JAVA/JAVA']JAVACARD programs annotated in JML
    Marché, C
    Paulin-Mohring, C
    Urbain, X
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 89 - 106
  • [3] Krakatoa: Decompilation in Java']Java (does bytecode reveal source?)
    Proebsting, TA
    Watterson, SA
    [J]. PROCEEDINGS OF THE THIRD USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS (COOTS), 1997, : 185 - 197
  • [4] Using Krakatoa for Teaching Formal Verification of Java']Java Programs
    Divason, Jose
    Romero, Ana
    [J]. FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 37 - 51
  • [5] DIVORCE IN WEST JAVA']JAVA
    JONES, GW
    ASARI, Y
    DJUARTIKA, T
    [J]. JOURNAL OF COMPARATIVE FAMILY STUDIES, 1994, 25 (03) : 395 - 416
  • [6] Application of West Java']Java water sustainability index to Citarum catchment in West Java']Java, Indonesia
    Juwana, Iwan
    Muttil, Nitin
    Perera, B. J. C.
    [J]. Water Science and Technology-Water Supply, 2014, 14 (06): : 1150 - 1159
  • [7] GSTARI model of BPR assets in West Java']Java, Central Java']Java, and East Java']Java
    Susanti, Susi
    Handajani, Sri Sulistijowati
    Indriati, Diari
    [J]. 7TH INTERNATIONAL SEMINAR ON NEW PARADIGM AND INNOVATION ON NATURAL SCIENCE AND ITS APPLICATION, 2018, 1025
  • [8] Geothermal and volcanism in west Java']Java
    Setiawan, I.
    Indarto, S.
    Sudarsono
    Fauzi, A., I
    Yuliyanti, A.
    Lintjewas, L.
    Alkausar, A.
    Jakah
    [J]. GLOBAL COLLOQUIUM ON GEOSCIENCES AND ENGINEERING 2017, 2018, 118
  • [9] THE RURAL MARKET IN WEST JAVA']JAVA
    ANDERSON, AG
    [J]. ECONOMIC DEVELOPMENT AND CULTURAL CHANGE, 1980, 28 (04) : 753 - 777
  • [10] MANDALA SOCIETIES IN WEST JAVA']JAVA
    BAKELS, J
    [J]. BIJDRAGEN TOT DE TAAL- LAND- EN VOLKENKUNDE, 1989, 145 (2-3): : 359 - 364
12345