Vérifier l’état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Conclog: A Methodological Approach to Concurrent Logic Programming

Name: Conclog: A Methodological Approach to Concurrent Logic Programming
Brand: Springer, Berlin
SKU: 01565484
Price: 109.29 EUR
Availability: InStock
Author: J.-M. Jacquet
ISBN: 9783540549383

J.-M. Jacquet

Langue

Anglais

Livre Livre de poche

Code Libristo: 01565484

Éditeurs Springer, Berlin, novembre 1990

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for p... Description détaillée

Code Libristo: 01565484

267 b

109.29 € TVA incluse

Stockage externe Expédition sous 10-16 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Deutsches Rechtswörterbuch Heidelberger Akademie der Wissenschaften

Livre de poche

50.49 €

Прикладная физика. Теория, задачи и тесты. Учебное пособие для СПО. С. С. Аплеснин

Livre relié

61.59 €

RAFAEL SANCHEZ MAZAS ANTOLOGIA FALANGISTA GRANDE SANCHEZ

Livre de poche

28.60 €

PLAYMOBIL Wiltopia. Abenteuer Australien. Die Koalas sind los! Corinna Jegelka

Livre relié

12.00 €

Biografias breves - Julio Cortazar Machado

MP3

4.59 €

EL AMIGO DE LA MUERTE ALARCON

Livre de poche

21.79 €

APLICACION DE CONCEPTOS BASICOS DE LA TEORIA DE GENERO Y DEL NARANJO PERA

Livre de poche

19.69 €

وجوه بلا أقنعة

Livre de poche

8.79 €

El Método Para (the Para Method Spanish Edition) Guía Carmona

Livre de poche

11.39 €

Seven Nenad Vasilic

CD Audio

22.80 €

Aus dem Nichts kommt die Flut Markus Lemke

Livre relié

26.00 €

Glosario Oftalmológico (Inglés- Español) Clara Cecilia Valdés Menéndez

Livre de poche

137.09 €

Lemur a mládě

Jouet

9.19 €

Ökonomie und Ökologie. Alfred Maußner

Livre de poche

129.90 €

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Livre de poche

42.97 €

Moses Mendelssohn: Gesammelte Schriften. Jubiläumsausgabe / Band 19: Hebräische Schriften III: Briefwechsel (1761-1785) Moses Mendelssohn

Livre relié

236.00 €

Asthma Tagebuch: Peak Flow Protkoll zum ausfüllen für über 500 Tage ♦ handliche Tabelle mit Vorlage im 6x9 Format ♦ Motiv: Msed Notizbucher

Livre de poche

9.29 €

Einfache Rechenmandalas für den Zahlenraum bis 10 Sophie Block

Feuille

13.99 €

Fyzika pro každého R. Kubínek

Livre de poche

6.69 €

Tous Les Noms Jose Saramago

Livre de poche

8.69 €

Embriología general : conceptos generales del aparato locomotor, región axil, miembro torácico y miembro pelviano S. Climent Peris

Livre de poche

48.59 €

Eisenstein: kino, władza, kobiety Zabrodin Władimir

Livre relié

10.59 €

Bylinky na talíři i v domácím léčení Radka Hrevušová

Livre de poche

9.59 €

Ahoj, przygodo Duże litery Opowiadania do nauki czytania opracowanie zbiorowe

Livre de poche

2.09 €

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for programming init.Conclog was designed bytaking the ideal features of logicprogramming as reference, rather than by concentratingdirectly on operational tricks to ensure efficiency. Thisleads to quite easy declarative programming. Concern forsoundness and completeness ensures that multi-directionaland multi-solution correct procedures can be coded quitestraightforwardly. Assuming suitable hypotheses on theiruses, they can be transformed into very efficient versionsthanks to the introduction of appropriate controlinformation. Correctness-preserving properties are given forthat purpose.The designof Conclog involves three steps. First, a soundand complete parallel execution model of Horn clauseprograms is proposed which reduces subgoals of conjunctionsindependently and uses a calculus for reconcilinginconsistent bindings. Second, this is extended to handlenegation as completely as possible. Third, a minimal andreasonably complete set of extra-logical features aredefined for optimization and practical purposes.The second part of the book presents a methodology forconstructing Conclog in a rigorous way. This covers theentire programming process, from informal specifications vialogic descriptions to efficient programs. The methodologycan be adapted to other languages.