Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

Théories de programmation de premier ordre par Tamas Gergely (anglais) livre de poche

État :

Neuf

Quantité :

7 disponibles

Prix :

124,10 USD

Environ115,25 EUR

Livraison :

Gratuit Economy Shipping. Afficher les détailspour la livraison

Lieu où se trouve l'objet : Fairfield, Ohio, États-Unis

Délai de livraison :

Estimé entre le mar. 21 mai et le sam. 1 juin à 43230

Retours :

Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours

Paiements :

Achetez en toute confiance

Vendeur Top Fiabilité

Vendeur fiable, livraison rapide et retours facilités.

En savoir plus- Top Fiabilité Plus - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

grandeagleretail (918713)
98,2% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364701018359

Dernière mise à jour le 01 avr. 2024 15:07:19 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...

ISBN-13: 9783642635038

Book Title: First-Order Programming Theories

ISBN: 9783642635038

Series: Monographs in Theoretical Computer Science. an Eatcs Ser.

Publication Year: 2012

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: First-Order Programming Theories

Author: Laszlo Ury, T. Gergely

Item Length: 9.5in

Publisher: Springer Berlin / Heidelberg

Item Width: 6.7in

Item Weight: 22.4 Oz

Number of Pages: IX, 353 Pages

À propos de ce produit

Product Information

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.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3642635032

ISBN-13

9783642635038

eBay Product ID (ePID)

203443284

Product Key Features

Author

Laszlo Ury, T. Gergely

Publication Name

First-Order Programming Theories

Format

Trade Paperback

Language

English

Series

Monographs in Theoretical Computer Science. an Eatcs Ser.

Publication Year

2012

Type

Textbook

Number of Pages

IX, 353 Pages

Dimensions

Item Length

9.5in

Item Width

6.7in

Item Weight

22.4 Oz

Additional Product Features

Series Volume Number

Number of Volumes

1 Vol.

Lc Classification Number

Qa76.758

Table of Content

Mathematical Background.- 1. Logic and Model Theory.- 2. Inductive Definability.- I Computability.- 3. Introduction to Part I.- 4. Main Properties of Program Schemas.- 5. Extension of Program Schemas.- 6. Program Schemas with Stacks.- 7. Computability.- 8. On Inductive Definability of 1- and 2-Computable Relations.- II Extended Dynamic Logics.- 9. Introduction to Part II.- 10. Description of Program Properties.- 11. Den-based Descriptive Languages.- 12. The Problem of Completeness.- 13. Dynamic Logic Generated by Extension.- 14. Continuous Denotational Semantics.- 15. Definable Denotational Semantics.- III Temporal Characterization of Programs.- 16. Introduction to Part III.- 17. Temporal Logic.- 18. Temporal Logical Description of Program Properties.- 19. Is Temporal Logic Expressible in Dynamic Logic'.- 20. Is Dynamic Logic Expressible in Temporal Logic'.- 21. The Case of Enumerable Models.- 22. Temporal Axiomatization of Program Verification Methods.- IV Programming Logic with Explicit Time.- 23. Introduction to Part IV.- 24. Time Logic.- 25. Definability in Regular Time Theories.- 26. Expressive Power of Time.- Epilogue.- References.- Notations.

1991

Topic

Software Development & Engineering / General, Computer Science, Logic

Intended Audience

Scholarly & Professional

Illustrated

Yes

Genre

Computers, Mathematics

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Afficher les coordonnées

: liam-e esserdAmoc.liaterelgaednarg@yabe

Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :364701018359

Dernière mise à jour le 01 avr. 2024 15:07:19 CEST. Afficher toutes les modificationsAfficher toutes les modifications

Livraison et expédition

Lieu où se trouve l'objet :

Fairfield, Ohio, États-Unis

Destination :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Belize, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunei Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bénin, Cambodge, Cameroun, Canada, Cap-Vert, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Croatie, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Liberia, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Maurice, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Niue, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Christophe-et-Niévès, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les-Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vatican, Viêt Nam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, Éthiopie, Îles Caïmans, Îles Cook, Îles Malouines, Îles Salomon, Îles Turques-et-Caïques, Îles Vierges britanniques

Exclus :

APO/FPO, Alaska/Hawaï, Barbade, Biélorussie, Guadeloupe, Guyane, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats américains, Russie, Réunion, Samoa occidentales, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Livraison et expédition	Chaque objet supplémentaire	à	Service	Livraison*Afficher les instructions de livraison
Livraison gratuite	Gratuit	États-Unis	Economy Shipping	Estimé entre le mar. 21 mai et le sam. 1 juin à 43230

*Les dates de livraison estimées - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.Instructions de livraison *Les dates de livraison estimées prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.

Délai d'expédition

Envoi sous 10 jours ouvrés après réception du paiement.

Taxes

Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay