Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers /

Podobne zapisy

• Education at the crossroads.
  od: Maritain, Jacques
  Wydane: (1968.)
• Crossroads in Time /
  od: Conklin, Groff
  Wydane: (1953, c1953)
• Colleges at the crossroads.
  Wydane: (1966.)
• At the Crossroads : Mexico and U.S. Inmigration Policy /
  Wydane: (1997, c1997)
• Slovakia: Nation at the Crossroads of Central Europe /
  od: Kirschbaum, Joseph M.
  Wydane: (1960)