Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

First-Order Programming Theories

Name: First-Order Programming Theories
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642635038
Price: 38435 HUF
Availability: InStock

Szerző: Tamas Gergely, Laszlo Ury

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 435 Ft

This book proposes a purely classical first-order logical approach to the theory of programming. The...

Információk a könyvről

Szerző

Tamas Gergely, Laszlo Ury

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

353

EAN

9783642635038

ISBN

3642635032

Enbook ID

02646063

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

634

Méretek

170 x 242 x 20

Teljes leírás

This book proposes a purely classical first-order logical approach to the theory of programming. The authors, leading members of the famous "Hungarian school", use this approach to give a unified and systematic presentation of the theory. This approach provides formal methods and tools for reasoning about computer programs and programming languages by allowing the syntactic and semantic characterization of programs, the description of program properties, and ways to check whether a given program satisfies certain properties. The basic methods are logical extension, inductive definition and their combination, all of which admit an appropriate first-order representation of data and time. The framework proposed by the authors allows the investigation and development of different programming theories and logics from a unified point of view. Dynamic and temporal logics, for example, are investigated and compared with respect to their expressive and proof-theoretic powers. The book should appeal to both theoretical researchers and students. For researchers in computer science the book provides a coherent presentation of a new approach which permits the solution of various problems in programming theory in a unified manner by the use of first-order logical tools. The book may serve as a basis for graduate courses in programming theory and logic as it covers all important questions arising between the theory of computation and formal descriptive languages and presents an appropriate derivation system.

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

First-Order Programming Theories

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták