Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings: Lecture Notes in Computer Science, cartea 1275
Editat de Elsa L. Gunter, Amy Feltyen Limba Engleză Paperback – 6 aug 1997
The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.
Din seria Lecture Notes in Computer Science
- 20% Preț: 1021.30 lei
- 20% Preț: 337.03 lei
- 20% Preț: 340.22 lei
- 20% Preț: 256.27 lei
- 20% Preț: 324.32 lei
- 20% Preț: 438.69 lei
- 20% Preț: 315.78 lei
- 20% Preț: 327.52 lei
- 20% Preț: 148.66 lei
- 20% Preț: 122.89 lei
- 20% Preț: 557.41 lei
- 20% Preț: 561.37 lei
- 15% Preț: 558.56 lei
- 20% Preț: 238.01 lei
- 20% Preț: 504.57 lei
- 20% Preț: 329.09 lei
- 20% Preț: 563.75 lei
- 20% Preț: 630.24 lei
- 20% Preț: 321.96 lei
- 20% Preț: 1361.10 lei
- 20% Preț: 310.26 lei
- 20% Preț: 607.39 lei
- Preț: 366.90 lei
- 20% Preț: 172.69 lei
- 20% Preț: 315.19 lei
- 20% Preț: 985.59 lei
- 20% Preț: 620.87 lei
- 20% Preț: 436.22 lei
- 20% Preț: 734.34 lei
- 20% Preț: 1034.49 lei
- 17% Preț: 360.19 lei
- 20% Preț: 309.90 lei
- 20% Preț: 573.92 lei
- 20% Preț: 301.95 lei
- 20% Preț: 307.71 lei
- 20% Preț: 369.12 lei
- 20% Preț: 327.52 lei
- 20% Preț: 794.65 lei
- 20% Preț: 569.16 lei
- Preț: 395.43 lei
- 20% Preț: 1138.26 lei
- 20% Preț: 734.34 lei
- 20% Preț: 315.78 lei
- 20% Preț: 330.70 lei
- 20% Preț: 538.29 lei
- 20% Preț: 326.98 lei
Preț: 322.75 lei
Preț vechi: 403.44 lei
-20% Nou
Puncte Express: 484
Preț estimativ în valută:
61.77€ • 65.16$ • 51.48£
61.77€ • 65.16$ • 51.48£
Carte tipărită la comandă
Livrare economică 02-16 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540633792
ISBN-10: 3540633790
Pagini: 356
Ilustrații: X, 346 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540633790
Pagini: 356
Ilustrații: X, 346 p.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.5 kg
Ediția:1997
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
An Isabelle-based theorem prover for VDM-SL.- Executing formal specifications by translation to higher order logic programming.- Human-style theorem proving using PVS.- A hybrid approach to verifying liveness in a symmetric multi-processor.- Formal verification of concurrent programs in Lp and in Coq: A comparative analysis.- ML programming in constructive type theory.- Possibly infinite sequences in theorem provers: A comparative study.- Proof normalization for a first-order formulation of higher-order logic.- Using a PVS embedding of CSP to verify authentication protocols.- Verifying the accuracy of polynomial approximations in HOL.- A full formalisation of ?-calculus theory in the calculus of constructions.- Rewriting, decision procedures and lemma speculation for automated hardware verification.- Refining reactive systems in HOL using action systems.- On formalization of bicategory theory.- Towards an object-oriented progification language.- Verification for robust specification.- A theory of structured model-based specifications in Isabelle/HOL.- Proof presentation for Isabelle.- Derivation and use of induction schemes in higher-order logic.- Higher order quotients and their implementation in Isabelle HOL.- Type classes and overloading in higher-order logic.- A comparative study of Coq and HOL.