Theorem Proving in Higher Order Logics 1
bokomslag Theorem Proving in Higher Order Logics
Data & IT

Theorem Proving in Higher Order Logics

Victor A Carreno • Cesar A Munoz • Sofiene Tahar

Pocket

1009:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 347 sidor
  • 2002
Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics held in the USA in 2002. The 20 papers cover issues in HOL theorem proving and formal verification of software and hardware systems, evaluating Isabelle/HOL, Isabelle/Isar and Coq.
  • Författare: Victor A Carreno, Cesar A Munoz, Sofiene Tahar
  • Format: Pocket/Paperback
  • ISBN: 9783540440390
  • Språk: Engelska
  • Antal sidor: 347
  • Utgivningsdatum: 2002-08-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Otmane Ait Mohamed, Csar Munoz, Sofine Tahar

    Pocket

    1159:-
  2. bokomslag Correlation Structure-Property in the case of Odorant Molecules

    Correlation Structure-Property in the...

    Assia Belhassan, Mohammed Bouachrine, Tahar Lakhlifi

    Pocket

    779:-
  3. bokomslag Application du score de Bateman

    Application du score de Bateman

    Bacha Dhouha, Sana Ben Slama, Ahmed Ben Tahar

    Pocket

    1049:-
  4. bokomslag Interactive Theorem Proving

    Interactive Theorem Proving

    Cesar A Munoz Mauricio Ayala-Rincon

    Pocket

    1009:-
  5. bokomslag Die Gonarthrose

    Die Gonarthrose

    Imen Sellami, Afef Feki, Sofien Baklouti

    Pocket

    729:-
  6. bokomslag Concepto, Expresion y Dimensiones de La Conciencia Ambiental

    Concepto, Expresion y Dimensiones de ...

    Ana Munoz Van Den Eynde Ana Mu Oz Van...

    Pocket

    1809:-
  7. bokomslag Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (Sats)Concept

    Formal Modeling and Analysis of a Pre...

    Nasa Technical Reports Server Victor ...

    Pocket

    349:-
  8. bokomslag Fluorose osseuse en Tunisie

    Fluorose osseuse en Tunisie

    Imen Sellami, Afef Feki, Sofien Baklouti

    Pocket

    879:-
  9. bokomslag Mieloma mltiplo de idosos em reumatologia

    Mieloma mltiplo de idosos em reumatol...

    Afef Feki, Rim Akrout, Sofien Baklouti

    Pocket

    879:-
  10. bokomslag Gonarthrosis

    Gonarthrosis

    Imen Sellami, Afef Feki, Sofien Baklouti

    Pocket

    729:-

Andra av samma författare

  1. bokomslag Rapid Prototyping in Pvs

    Rapid Prototyping in Pvs

    Cesar A Munoz, Ricky Butler, Nasa Technical Reports Server

    Pocket

    349:-
  2. bokomslag Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (Sats)Concept

    Formal Modeling and Analysis of a Pre...

    Nasa Technical Reports Server Victor ...

    Pocket

    349:-
  3. bokomslag Interactive Theorem Proving

    Interactive Theorem Proving

    Cesar A Munoz Mauricio Ayala-Rincon

    Pocket

    1009:-
  4. bokomslag Verification and Evaluation of Computer and Communication Systems

    Verification and Evaluation of Comput...

    Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiene Tahar

    Pocket

    1009:-