Montant total (1 article articles) :
Destination de la commande :
temporal logic programs (27 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (27)
- 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 (14)
- Comme neuf, Très bon ou Bon (1)
- Assez bon ou satisfaisant (8)
- 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 (7)
- 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
Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 5,21
Expédition à EUR 5,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.
-
Executing Temporal Logic Programs
Langue: anglais
Edité par Cambridge University Press, 1986
ISBN 10 : 0521310997 ISBN 13 : 9780521310994
Vendeur : AwesomeBooks, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,78
Expédition à EUR 5,72
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Executing Temporal Logic Programs This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Executing Temporal Logic Programs
Langue: anglais
Edité par Cambridge University Press 01/01/1986, 1986
ISBN 10 : 0521310997 ISBN 13 : 9780521310994
Vendeur : Bahamut Media, Reading, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,78
Expédition à EUR 8
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Executing Temporal Logic Programs
Langue: anglais
Edité par Cambridge University Press, 1986
ISBN 10 : 0521310997 ISBN 13 : 9780521310994
Bonne affaireEUR 5,84
Expédition à EUR 20,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 29,94
Expédition à EUR 4,27
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
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,34
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 : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,34
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 (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,03
Expédition à EUR 3,21
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 5 sur 5 étoiles
EUR 30,60
Expédition à EUR 28,66
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 : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 68,90
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 : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 68,90
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 (Monographs in Theoretical Computer Science. An EATCS Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,22
Expédition à EUR 13,74
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Temporal Logic of Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 69,18
Expédition à EUR 3,41
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used. pp. 148.
-
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 4 sur 5 étoiles
EUR 56,25
Expédition à EUR 17,76
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Temporal Logic of Programs
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 67,57
Expédition à EUR 7,45
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 67,51
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 : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,47
Expédition à EUR 11,47
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.
-
EUR 49,05
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Temporal Logic of Programs | Fred Kröger | Taschenbuch | viii | Englisch | 2011 | Springer | EAN 9783642715518 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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 96,84
Expédition à EUR 28,66
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 113,37
Expédition à EUR 28,66
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 4 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
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 Berlin Heidelberg, Springer Berlin Heidelberg 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 -Introduction to the temporal logic of - in particular parallel - programs.Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, andproof theory; - Representation of programs and their properties within the language of temporal logic; - Application ofthe logical apparatus to the verification of program properties including a new embedding of Hoare's logic into thetemporal framework.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.
