本文に飛ぶ

年 〜
年

検索結果 13 件

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)

Verification of infinite-state systems with applications to security. : NATO advanced research workshop "verification of infinite state systems with applications to security VISSAS 2005" : Mar 2005, Timisoara, Romania. (NATO Security through Science Series. Series D, Information and Communication Security ; 1)
紙図書
IOS Pressc2006.<M17-09-557>
国立国会図書館
  • 著者標目...ria Timisoara. Clarke, Edmund. Minea, Marius. Ţiplea, Feruc...

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers : pbk
紙図書
Edmund M. Clarke and Andrei Voronkov (Eds.)Springerc2010
全国の図書館
  • 著者標目LPAR Clarke, Edmund Voronkov, A. (Andreĭ)

Handbook of model checking

Handbook of model checking
紙図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.Springer[2018]<M159-B167>
国立国会図書館全国の図書館
  • 著者標目Clarke, Edmund M., Jr. (Edmund Melson), 1945...

Software reliability methods

Software reliability methods
紙図書
Doron A. Peled ; foreword by Edmund M. ClarkeSpringerc2001
全国の図書館
  • 著者標目Peled, Doron Clarke, Edmund

Model checking

Model checking
紙図書
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. PeledMIT Pressc1999
全国の図書館
  • 著者標目Clarke, Edmund Grumberg, Orna Peled, Doron

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen. (Lecture notes in computer science)
紙図書
Springer-Verlag1984.<M15-A1974>
国立国会図書館
  • 著者標目Clarke, Edmund. Kozen, Dexter, 1951- Logics ...

Model checking 2nd ed

Model checking 2nd ed
紙図書
Edmund M Clarke, Jr. ... [et al.]The MIT Pressc2018
全国の図書館
  • 著者標目Clarke, Edmund M., Jr. (Edmund Melson)

Negative publicity : artefacts of extraordinary rendition

Negative publicity : artefacts of extraordinary rendition
紙図書
Crofton Black, Edmund Clark ; [additional text by Eyal Weizman]Aperture Foundationc2015
全国の図書館

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings : gw : us
紙図書
E.M. Clarke, R.P. Kurshan, (eds.)Springer-Verlagc1991
全国の図書館
  • 著者標目Clarke, Edmund CAV (Conference) Kurshan, R. ...

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 : AMS : ACM
紙図書
E.M. Clarke, R.P. Kurshan, editorsAmerican Mathematical Societyc1991
全国の図書館
  • 著者標目...puter Science) Clarke, Edmund Kurshan, R. P.

Still life : killing time

Still life : killing time
紙図書
Edmund Clark ; [foreword by Simon Norfolk]Dewi Lewis2007
全国の図書館

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 : gw : us
紙図書
edited by Edmund Clarke and Dexter KozenSpringer-Verlag1984
全国の図書館
  • 著者標目Clarke, Edmund Kozen, Dexter Logics of Progr...

Completeness and incompleteness theorems for Hoare-like axiom systems

Completeness and incompleteness theorems for Hoare-like axiom systems
紙図書
by Edmund Nelson Clarke, Jr.University Microfilms International1976
全国の図書館
  • 著者標目Clarke, Edmund Nelson, Jr.

検索結果は以上です。

RSS