IHR WARENKORB IST AKTUELL LEER.

Haben Sie noch nichts passendes gefunden? Stöbern Sie durch unser komplettes Sortiment.

Oder melden Sie sich an bzw. registrieren Sie sich.

Ihre Vorteile

Kostenlose Lieferung
Kauf auf Rechnung
Ex Libris Tiefpreis
Filiallieferung und 650+ Abholorte
Rabatt-Bons als Club-Mitglied

Logic of Computation

Beschreibung

The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School. Autorentext The latest work on formal methods in computer science by the world's...

Format auswählen

Kartonierter EinbandCHF 104.00
E-Book (pdf)CHF 55.90

Kartonierter Einband

CHF104.00

E-Book (pdf)

CHF55.90

TIEFPREIS

CHF104.00

Print on Demand - Exemplar wird für Sie gedruckt.

Kostenlose Lieferung

Kein Rückgaberecht

Beschreibung

The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.

Autorentext
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.

Inhalt
Lectures on Semantics: The Initial Algebra and Final Coalgebra Perspectives.- to Gröbner Bases.- Bounded Arithmetic and Propositional Proof Complexity.- The Structure of Nuprl's Type Theory.- Axiomatisations, Proofs, and Formal Specifications of Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed Rewriting Logic for the Specification of Time-Sensitive Systems.- Logic Programming and Meta-Logic.- Proofs, Lambda Terms and Control Operators.- Basic Proof Theory with Applications to Computation.