Vor Ort
Merkzettel Warenkorb
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
Band 971

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Herausgeber

E. Thomas Schubert + weitere

Verlag

Springer Berlin

Seitenzahl

408

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

628 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60275-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Herausgeber

Verlag

Springer Berlin

Seitenzahl

408

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

628 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60275-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
  • Mechanizing a ?-calculus equivalence in HOL.- Non-primitive recursive function definitions.- Experiments with ZF set theory in HOL and Isabelle.- Automatically synthesized term denotation predicates: A proof aid.- On the refinement of symmetric memory protocols.- Combining decision procedures in the HOL system.- Deciding cryptographic protocol adequacy with HOL.- A practical method for reasoning about distributed systems in a theorem prover.- A theory of finite maps.- Virtual theories.- An automata theory dedicated towards formal circuit synthesis.- Interfacing HOL90 with a functional database query language.- Floating point verification in HOL.- Inductive definitions: Automation and application.- A formulation of TLA in Isabelle.- Formal verification of serial pipeline multipliers.- TkWinHOL: A tool for Window Inference in HOL.- Formal verification of counterflow pipeline architecture.- Deep embedding VHDL.- HOLCF: Higher order logic of computable functions.- A mechanized logic for secure key escrow protocol verification.- A new interface for HOL — Ideas, issues and implementation.- Very efficient conversions.- Recording and checking HOL proofs.- Formalization of planar graphs.- A hierarchical method for reasoning about distributed programming languages.