Jump to main content

yr 〜
yr

Search results 2

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.
Paper図書
IEEE Computer Societyc2007.<M17-08-1709>
National Diet Library
  • Subject Heading...-- Congresses. Computer programs -- Correctness -- Congresses. Logic, Symbolic and mathemat...

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994
Paper図書
editors, R.J. Wieringa & R.B. FeenstraWorld Scientificc1995
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer programs -- Correctness -- Congresses Object-oriented databases -- ...
  • Subject Heading (ID)... -- Congresses Computer programs -- Correctness -- Congresses Object-oriented databases -- ...

Reached to the end of result.

RSS