Produktbild: First-Order Programming Theories

First-Order Programming Theories

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 €

inkl. 7 % MwSt. zzgl. Versandkosten

Monographs in Theoretical Computer Science. An EATCS Series 24

ISBN:	3642635032
ISBN 13:	9783642635038
Autor:	Gergely, Tamas/Ury, Laszlo
Verlag:	Springer Verlag GmbH
Umfang:	ix, 353 S.
Erscheinungsdatum:	13.11.2012
Auflage:	1/2012
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 6591648 Kategorie: Informatik

Beschreibung

Beschreibung

This book proposes a purely classical first-order logical approach to the theory of programming. It provides a unified framework to present new programming theories and logics systematically and to investigate and compare existing ones with respect to their expressive and proof-theoretic powers.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Smooth Nonlinear Optimization in Rn
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Freeman und Co.
9,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Powers of Protection
114,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advanced Methods for Measurement and Control in Urban Traffic Networks
71,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Biology of Subcellular Nitric Oxide
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Medizin im Nationalsozialismus
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Kirchenlied zwischen Pest und Stadtbrand
79,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Secure Routing in Multi-hop Wireless Networks
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Business alignment of information security
23,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Papa wohnt jetzt anderswo
17,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Chemisch-physiologische Untersuchung der characteristischeren Tabaksorten Ungarns
14,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Common Sense Relativity and Spacetime
89,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Reise Know-How CityTrip Budapest
15,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Supporting Model Animation Methods with Graph Transformation
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Guidebook für Software Engineers
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Communication Strategies in the Quran
79,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Freeman und Co. IV
9,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Tabaksorten Ungarns
12,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Béla und Christine
12,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die archäologischen Spuren der Romanen unter fränkischer Herrschaft
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Ausbreitung und Festigung der Herrschaft der Perser aus der Sicht Herodots
27,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The M2 Macrophage
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das prähistorische Gräberfeld von Niederkaina, östlich von Bautzen
24,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Smooth Nonlinear Optimization of Rn
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der chemische Krieg. Der Einsatz von Gas im Ersten Weltkrieg
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Le français parlé informel
139,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Lectures on Categorical Data Analysis
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Das Grab des Childerich oder Sepulcrum Childerici I.Francorum Regis
27,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Venus und die Abstammung der Iulier – Caesars Genealogie als Politikum
15,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Nichtideale Theorie in John Rawls‘ ‚Recht der Völker‘
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Ontology-Based Development of Industry 4.0 and 5.0 Solutions for Smart Manufacturing and Production
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Besonderheiten der Siedlungsentwicklung: Land- und Energiegewinnung in den Niederen Landen im Mittelalter
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Reformen Kayser Josephs in Ungarn
21,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
AI
29,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Unifying Theories of Programming
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Cognitive Research
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Law and Society in Lex Baiuvariorum
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Grablege Karls des Großen
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Painting the Blues
30,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Ausrichtung der Informationssicherheit auf das Geschäft
48,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Soziologie als Sozial-, Moral- und Kulturwissenschaft.
129,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Reise Know-How CityTrip Bern
15,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
China in Europa
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Chemisch-physiologische Untersuchung der characteristischeren Tabaksorten Ungarns
34,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
ESG-Berichterstattung unter Beachtung der EU-Taxonomie-Verordnung
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Personwerdung und Partnerschaft
54,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Unifying Theories of Programming
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der kalte Dämon
29,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sensor Fusion Based Position Estimation for Mobile Robots
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Censorship from Plato to Social Media
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Antennes monopôle à plan de masse fini
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Modal Logic
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Ehestreit Lothars II mit Königin Theutberga
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Ontology-Based Development of Industry 4.0 and 5.0 Solutions for Smart Manufacturing and Production
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The First Order
11,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
A Buddhist Ritual Manual on Agriculture
64,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Freeman und Co. III
9,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Mensch braucht Beziehung
54,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Censorship from Plato to Social Media
171,19 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Cognitive Reasoning
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modeling of thermal plasma processes
38,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Biology of Subcellular Nitric Oxide
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Präsenz und Bedeutung thrakischer Söldner in den hellenistischen und römischen Heeren
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Logic of Categories
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The M2 Macrophage
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sören Kierkegaard: Philosoph – Pädagoge – Pastor
27,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sustainability and Community-Based Organizations
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Lectures on Categorical Data Analysis
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Transformation-based Support For Visual Languages
68,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First Order-Logic
79,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die Diagnose des multikulturellen Amerikas
71,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Schwarzenegger
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Labortechniken mit Anwendbarkeit in der medizinischen Praxis
41,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Schwarzenegger
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Widerstand gegen die Herrschaft Roms in Britannien
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
First-Order Modal Logic
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sekundäre Formen des Foreigner Talk im Deutschen aus übersetzungswissenschaftlicher Sicht
45,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Enhancing Computer-Integrated Surgical Systems
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
AI
45,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Der Einfluss der digitalen Transformation auf die strategische Ausrichtung einer online Direktbank
44,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Elektra
12,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Freeman und Co. II
9,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
China in Europe
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Topographie des Reiches Gottes
120,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Lectures on Advanced Topics in Categorical Data Analysis
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Ignaz Goldziher as a Jewish Orientalist
134,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Neues Volk Gottes?
58,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Unifying Theories of Programming
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Programming in Modula-3
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Methodenkombination in der Metaphernforschung
76,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Unifying Theories of Programming
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Intensional First-Order Logic
169,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hort- bzw.Depotfunde der Frühbronzezeit in Mitteldeutschland und ihr indikatorischer Wert für den Nachweis sozialer Eliten
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Die römische Religion in den Provinzen: Gallien und Britannien.Die Interpretatio Romana und die Grenzen der Toleranz
17,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Migräne
27,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Insights into the assembly of NiFe hydrogenase enzymes
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Unifying Theories of Programming
42,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tribologie der Paarungen Rollenschuh-Rolle und Rolle-Nocken in Dieselhochdruckpumpen
49,80 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Substance Abuse Prevention and Corporate Social Responsibility
49,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Produktbild: First-Order Programming Theories

Sie sehen: First-Order Programming Theories 106,99 €

In den Warenkorb