本文に飛ぶ

年 〜
年

検索結果 6 件

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)
紙図書
Springerc2010.<X>
国立国会図書館
  • 著者標目Manna, Zohar Peled, Doron, 1962-

Runtime verification : 9th international workshop, RV 2009 : Grenoble, France, June 26-28, 2009 : selected papers. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5779)

Runtime verification : 9th international workshop, RV 2009 : Grenoble, France, June 26-28, 2009 : selected papers. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5779)
紙図書
Springerc2009.<M17-10-1251>
国立国会図書館
  • 著者標目Bensalem, Saddek. Peled, Doron, 1962- RV 2009 (2009 : Grenoble, Fra...

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-2067>
国立国会図書館
  • 著者標目Peled, Doron, 1962- Wooldridge, Michael J., 1966-...

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. : 9th VMCAI meeting : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4905)
紙図書
Springerc2008.<M17-08-1774>
国立国会図書館
  • 著者標目Logozzo, Francesco. Peled, Doron, 1962- Zuck, Lenore D., 1958- VMCAI ...

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)

Computer aided verification : 16th international conference, CAV 2004 : Boston, MA, USA, July 13-17, 2004 : proceedings. : Jul 2004, Boston, MA. (Lecture Notes in Computer Science ; 3114)
紙図書
Springerc2004.<M17-05-75>
国立国会図書館
  • 著者標目Alur, Rajeev, 1966- Peled, Doron, 1962- CAV (Conference) (16th : 2004...

Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)

Formal techniques for networked and distributed systems -- FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. : Nov 2002, Houston, TX. (Lecture Notes in Computer Science ; 2529)
紙図書
Springer2002.<M17-03-199>
国立国会図書館
  • 著者標目...puter Science. Peled, Doron, 1962- Vardi, Moshe Y. FORTE 2002 (2...

検索結果は以上です。

RSS