Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computing in Horn Clause Theories

Name: Computing in Horn Clause Theories
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06620925
Price: 53.79 EUR
Availability: InStock
Author: Peter Padawitz
ISBN: 9783642738265

Peter Padawitz

Sprache

Englisch

Buch Broschur

Libristo-Code: 06620925

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2011

At least four research fields detennine the theoretical background of specification and deduction in... Vollständige Beschreibung

Libristo-Code: 06620925

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Les femmes et leur corps Lemoine

Broschur

29.69 €

?Cómo crear un medio impreso para tu comunidad? Wilmer Antonio Velásquez "U" Co Social

Broschur

22.99 €

Das Optigrill Rezeptbuch für jeden Grillliebhaber Kristian Urner

Broschur

15.89 €

La lecture ? l'?re de l'information Adriane Belluci Belório de Castro

Broschur

52.19 €

Infrastrutture e colonizzazione. Il caso africano tra heritage e sviluppo Nelly Cattaneo

Broschur

40.99 €

A Mocidade De D. Joao V, V1-V2: Romance (1851) Luiz Augusto Rebello Da Silva

Broschur

41.59 €

Ludovico Einaudis "Una Mattina". Emotionale Wirkungen und Funktionen im Film Candas Filiz

Broschur

9.99 €

CARTES DES DE LA PRESÓ DE NELSON MANDELA NELSON MANDELA

Hardcover

36.59 €

Le Japon Et L'' Uvre Romanesque d''am lie Nothomb Ferenc Toth

Broschur

45.79 €

Forum Geschichte Band 3 - Gymnasium Hessen - Von der Französischen Revolution bis zum Ersten Weltkrieg Nicky Born

Hardcover

31.69 €

Du musst durch im Leben Erna Hahn

Broschur

14.99 €

La notificación judicial internacional José Javier Pérez Milla

Broschur

19.99 €

El lugare apacible Nancy Leigh Demoss

Broschur

14.99 €

Lettres Philosophiques de la Montagne Sur Quelques Problemes Politiques Francois Alliot

Broschur

16.19 €

At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems. As these areas approach each other more and more, the strong distinctions between functional and relational views, deductive and denotational approaches as well as between specification and programming are relieved in favour of their integration. The book will not expose the lines of this development; conversely, it starts out from the nucleus of Hom clause logic and brings forth both known and unknown results, most of which affect more than one of the fields mentioned above. Chapter 1 touches on historical issues of specification and prototyping and delimits the topics handled in this book from others which are at the core of related work. Chapter 2 provides the fundamental notions and notations needed for the presentation and interpretation of many-sorted Horn clause theories with equality. Chapter 3 supplies a number of sample Hom clause specifications ranging from arithmetic through string manipulation to higher data structures and interpreters of programming languages. Some of these examples serve as a reference to illustrate definitions and results, others may throw a light on the strong link between specifications and programs, which are executed by applying deduction rules. Thus we have included examples of how to use program trans/ormation methods in specification design.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computing in Horn Clause Theories

Autor Peter Padawitz

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 322

EAN 9783642738265

ISBN 9783642738265

Libristo-Code 06620925

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 588

Abmessungen 170 x 244 x 19

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert