Montant total (1 article articles) :
Destination de la commande :
manes ernest (47 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (47)
- 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 (35)
- Comme neuf, Très bon ou Bon (3)
- Assez bon ou satisfaisant (5)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (4)
Particularités
- Ed. originale (1)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (12)
- Sans impressions à la demande (39)
Langue (2)
Livraison gratuite
- Livraison gratuite à destination de France (Aucun autre résultat ne correspond à ces critères)
Pays
Evaluation du vendeur
-
Foundations of system theory : finitary and infinitary conditions. Lecture notes in economics and mathematical systems ; 115 : Systems theory
Edité par Berlin, Heidelberg, New York : Springer, 1976
ISBN 10 : 3540076115 ISBN 13 : 9783540076117
Langue: anglais
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 19,95
Autre deviseEUR 6,95 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. VI, 93 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 250.
-
Predicate Transformer Semantics
Edité par Cambridge Univ Pr, West Nyack, New York, U.S.A., 1992
ISBN 10 : 0521420369 ISBN 13 : 9780521420365
Langue: anglais
Vendeur : Benjamin Books, Ottawa, ON, Canada
Membre d'association : ABAC ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 13,16
Autre deviseEUR 25,56 expédition depuis Canada vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good (+). hardcover.
-
Predicate Transformer Semantics
Edité par Cambridge University Press, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
EUR 36,74
Autre deviseEUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Category theory applied to computation and control: Proceedings of the first international symposium, San Francisco, February 25-26, 1974 (Lecture notes in computer science)
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Membre d'association : ABAA ILAB
Évaluation du vendeur 5 sur 5 étoiles
EUR 26,31
Autre deviseEUR 21,30 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 56,39
Autre deviseEUR 10,90 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Algebraic Theories
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,40
Autre deviseEUR 17,03 expédition depuis Etats-Unis vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Edité par Cambridge University Press, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 68,75
Autre deviseEUR 4,58 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Algebraic Theories
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 60,96
Autre deviseEUR 17,03 expédition depuis Etats-Unis vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
Edité par Cambridge University Press 2008-08-21, 2008
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 67,62
Autre deviseEUR 10,90 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Seminar on Triples and Categorical Homology Theory
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1969
ISBN 10 : 3540046011 ISBN 13 : 9783540046011
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 79,18
Autre deviseEUR 3 expédition depuis Irlande vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Editor(s): Eckmann, Beno. Series: Lecture Notes in Mathematics. Num Pages: 412 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1270. . 1969. Paperback. . . . .
-
Algebraic Theories
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 76,71
Autre deviseEUR 7,67 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 372.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Edité par Cambridge University Press, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,73
Autre deviseEUR 25,54 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
EUR 80,86
Autre deviseEUR 9,70 expédition depuis Allemagne vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 93,57
Autre deviseEUR 4,58 expédition depuis Royaume-Uni vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Seminar on Triples and Categorical Homology Theory
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1969
ISBN 10 : 3540046011 ISBN 13 : 9783540046011
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 97,97
Autre deviseEUR 2,68 expédition depuis Etats-Unis vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Editor(s): Eckmann, Beno. Series: Lecture Notes in Mathematics. Num Pages: 412 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1270. . 1969. Paperback. . . . . Books ship from the US and Ireland.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 93,64
Autre deviseEUR 10,90 expédition depuis Royaume-Uni vers FranceQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Predicate Transformer Semantics (Paperback)
Edité par Cambridge University Press, Cambridge, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 76,25
Autre deviseEUR 28,70 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Predicate Transformer Semantics
Edité par Cambridge University Press, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 94,90
Autre deviseEUR 10,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science.
-
Algebraic Approaches to Program Semantics
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 92,89
Autre deviseEUR 17,03 expédition depuis Etats-Unis vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 105,29
Autre deviseEUR 6,81 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 87,34
Autre deviseEUR 25,54 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Arrows, Structures, and Functors: The Categorical Imperative
Vendeur : Moe's Books, Berkeley, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 87,74
Autre deviseEUR 38,33 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierHard cover. Etat : Very good. No jacket. Cover is lightly worn on corners, but text and images are clear and bright. Binding is tight. Light watermarks on front endpaper and through first pages. Inside is otherwise clean and unmarked.
-
Algebraic Approaches to Program Semantics
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 110,50
Autre deviseEUR 17,03 expédition depuis Etats-Unis vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Edité par Cambridge University Press, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,19
Autre deviseEUR 63,89 expédition depuis Etats-Unis vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Predicate Transformer Semantics (Paperback)
Edité par Cambridge University Press, Cambridge, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 98,30
Autre deviseEUR 31,52 expédition depuis Australie vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Algebraic Approaches to Program Semantics
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 123,17
Autre deviseEUR 7,67 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 372.
-
Algebraic Approaches to Program Semantics
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 127,88
Autre deviseEUR 10,16 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 372 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Algebraic Approaches to Program Semantics
Edité par Springer-Verlag New York Inc., 2014
ISBN 10 : 1461293774 ISBN 13 : 9781461293774
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
EUR 133,99
Autre deviseEUR 3 expédition depuis Irlande vers FranceQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Series: Monographs in Computer Science. Num Pages: 366 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 158 x 234 x 24. Weight in Grams: 566. . 2014. Paperback. . . . .
-
Predicate Transformer Semantics (Paperback)
Edité par Cambridge University Press, Cambridge, 2004
ISBN 10 : 0521616107 ISBN 13 : 9780521616102
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 77,03
Autre deviseEUR 63,89 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students and researchers in theoretical computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 139,21
Autre deviseEUR 11,48 expédition depuis Royaume-Uni vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
