Montant total (1 article articles) :
Destination de la commande :
temporal logic programs (30 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (30)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (18)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (6)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (4)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (2)
- Avec images (6)
- Sans impressions à la demande (23)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Executing Temporal Logic Programs
Langue: anglais
Edité par Cambridge University Press, 1986
ISBN 10 : 0521310997 ISBN 13 : 9780521310994
EUR 5,51
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Couverture différente. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Executing Temporal Logic Programs
Langue: anglais
Edité par Cambridge University Press March 1986, 1986
ISBN 10 : 0521310997 ISBN 13 : 9780521310994
Vendeur : Montclair Book Center, Montclair, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 30,21
Expédition à EUR 5,17
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTrade Paperback. Etat : USED Very Good.
-
Temporal logic of programs.
Edité par Berlin, Springer, ,, 1987
Vendeur : Antiquariat Gothow & Motzke, Berlin, Allemagne
Évaluation du vendeur 3 sur 5 étoiles
EUR 24
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierVIII/148 S./pp., Originalpappband (publisher's cardboard covers), Bibliotheksexemplar in gutem Zustand / exlibrary in good condition (Einband gering gebrauchsspurig / binding shows minor tear and wear, Stempel auf Titel / title stamped, Rückenschildchen / lettering pannel to the spine, Block gut / contents clean, keine Unterstreichungen oder Anstreichungen / no underlining or remarks, nicht in Folie eingeschlagen / not wrapped up in foil), (EATCS Monographs on Theoretical Computer Science 8), Sprache: englisch.
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Vendeur : Bay State Book Company, North Smithfield, RI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,01
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing.
-
Temporal Logic of Programs
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,36
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Temporal Logic of Programs
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,03
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Temporal Logic of Programs
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,03
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,07
Expédition à EUR 3,24
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) Kroger, Fred
Vendeur : Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 30,89
Expédition à EUR 28,93
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Light shelfwear to extremities of book, otherwise fine.
-
Temporal Logic of Programs
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,36
Expédition à EUR 2,28
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Temporal Logic Of Programs
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,51
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Temporal Logic Of Programs
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 69,51
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Temporal Logic of Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 66,05
Expédition à EUR 3,44
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 148.
-
Temporal Logic of Programs
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 63,48
Expédition à EUR 7,52
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 148.
-
Temporal Logic of Programs
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 61,89
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 148.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,55
Expédition à EUR 13,86
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Langue: anglais
Edité par Springer-Verlag 1987-01-01, 1987
ISBN 10 : 3642715516 ISBN 13 : 9783642715518
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,78
Expédition à EUR 17,93
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Temporal Logic of Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 77,07
Expédition à EUR 3,44
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 160.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An Eatcs Series)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,95
Expédition à EUR 11,57
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reprint edition. 160 pages. 9.61x6.69x0.37 inches. In Stock.
-
Temporal Logic of Programs
Langue: anglais
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642715516 ISBN 13 : 9783642715518
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 61,45
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to the temporal logic of - in particular paral-lel - programs.Divided into three main parts: - Presenta-tion of the pure temporal logic: language, semantics, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-ties including a new embedding of Hoare's logic into thetemporal framework.
-
Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 97,75
Expédition à EUR 28,93
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 126,36
Expédition à EUR 28,93
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Inductive Temporal Logic Programming | Learning Temporal Logic Programs from Examples
Langue: anglais
Edité par Südwestdeutscher Verlag für Hochschulschriften, 2010
ISBN 10 : 383812149X ISBN 13 : 9783838121499
EUR 81,10
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Inductive Temporal Logic Programming | Learning Temporal Logic Programs from Examples | Robert Kolter | Taschenbuch | Englisch | Südwestdeutscher Verlag für Hochschulschriften | EAN 9783838121499 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.
-
Temporal Logic of Programs (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
EUR 46,22
Expédition à EUR 5,50
Expédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
-
Temporal Logic of Programs
Langue: anglais
Edité par Springer, Springer Nov 2011, 2011
ISBN 10 : 3642715516 ISBN 13 : 9783642715518
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Introduction to the temporal logic of - in particular paral-lel - programs.Divided into three main parts: - Presenta-tion of the pure temporal logic: language, semantics, andproof theory; - Representation of programs and their proper-ties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program proper-ties including a new embedding of Hoare's logic into thetemporal framework. 160 pp. Englisch.
-
Temporal Logic of Programs
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 76,32
Expédition à EUR 7,52
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 160 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
-
Temporal Logic of Programs
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 76,50
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 160.
-
Temporal Logic of Programs
Langue: anglais
Edité par Springer Berlin Heidelberg, 2011
ISBN 10 : 3642715516 ISBN 13 : 9783642715518
EUR 47,23
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Operator.
-
Temporal Logic of Programs
Langue: anglais
Edité par Springer, Springer Gabler Nov 2011, 2011
ISBN 10 : 3642715516 ISBN 13 : 9783642715518
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic and Programs.- Historical Remarks.- Some Concepts and Notions of Classical Logic.- I. Propositional Temporal Logic.- 1. A Language TTA of Propositional Temporal Logic.- 2. Semantics of TTA.- 3. Temporal Logical Laws.- 4. Some Further Temporal Operators.- II. Axiomatization of Propositional Temporal Logic.- 5. The Formal System TA.- 6. Completeness of TA.- 7. Induction Principles.- III. First-Order Temporal Logic.- 8. First-Order Temporal Languages and Their Semantics.- 9. The Formal System TP.- 10. The Principle of Well-Founded Orderings.- 11. Additional Propositional Variables.- IV. Temporal Semantics of Programs.- 12. Programs.- 13. Execution Sequences of Programs.- 14. Program Axioms.- 15. Description of Program Properties.- V. Invariance and Precedence Properties of Programs.- 16. The Basic Invariant Method.- 17. Examples of Applications.- 18. Invariant Methods for Precedence Properties.- 19. Examples of Applications.- VI. Eventuality Properties of Programs.- 20. Fair Execution Sequences.- 21. The Finite Chain Reasoning Method.- 22. The Method of Well-Founded Orderings.- 23. Examples of Applications.- VII. Special Methods for Sequential Programs.- 24. Hoare's Calculus.- 25. The Intermittent Assertion Method.- 26. Examples of Applications.- Bibliographical Remarks.- Appendix: Table of Laws and Rules.- References.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 160 pp. Englisch.
-
Inductive Temporal Logic Programming : Learning Temporal Logic Programs from Examples
Langue: anglais
Edité par Südwestdeutscher Verlag Für Hochschulschriften, 2010
ISBN 10 : 383812149X ISBN 13 : 9783838121499
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 99,18
Expédition à EUR 62,41
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic programming languages. Therefore we present two temporal logic programming languages and analyse the learnability of programs from these languages from finite sets of examples. In first order temporal logic the following topics are analysed: How can we characterize the denotational semantics of programs Which proof techniques are best suited How complex is the learning task In propositional temporal logic we analyse the following topics: How can we use well known techniques from model checking in order to refine programs How complex is the learning task In both cases we present estimations for the VC-dimension of selected classes of programs.
