Importo totale (1 articolo articoli):
Destinazione ordine:
manes ernest (41 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (41)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (29)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (4)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (10)
- Non Print on Demand (27)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Predicate Transformer Semantics
Libro 12 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge Univ Pr, West Nyack, New York, U.S.A., 1992
ISBN 10: 0521420369 ISBN 13: 9780521420365
Da: Benjamin Books, Ottawa, ON, Canada
Membro dell'associazione: ABAC ILAB
Valutazione del venditore 5 su 5 stelle
EUR 13,25
Spedizione EUR 10,29
Spedito da Canada a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good (+). hardcover.
-
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,40
Spedizione EUR 17,79
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Lingua: Inglese
Editore: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 75,96
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Theories (Graduate Texts in Mathematics)
Prima edizione
EUR 70,00
Spedizione EUR 14,50
Spedito da Belgio a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello -
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 33) (Volume 0)
Lingua: Inglese
Editore: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 70,47
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
Lingua: Inglese
Editore: Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521616107 ISBN 13: 9780521616102
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,63
Spedizione EUR 17,79
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Arrows, Structures, and Functions. The Categorical Imperative.
Da: Antiquariat Renner OHG, Albstadt, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
EUR 40,00
Spedizione EUR 45,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Sehr gut. New York, Academic Press 1975. Some figs. XIII, 185 p. OCloth. Slightly browned.
-
Condizione: New. pp. 372.
-
Hard cover. Condizione: 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.
-
Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Lingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521616107 ISBN 13: 9780521616102
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 80,94
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 236 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 430. . 2008. Illustrated. paperback. . . . .
-
Arrows, Structures, and Functors: The Categorical Imperative
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. First edition, first printing, 185 pp., hardcover, previous owner's name to the front paste down, corners rubbed, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.
-
Predicate Transformer Semantics: 33 (Cambridge Tracts in Theoretical Computer Science, Series Number 33)
Lingua: Inglese
Editore: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 100,55
Spedizione EUR 9,00
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 236 pages, black & white illustrations. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 430. . 2008. Illustrated. paperback. . . . . Books ship from the US and Ireland.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 95,69
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 93,65
Spedizione EUR 17,79
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Algebraic Approaches to Program Semantics
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 372.
-
Algebraic Theories (Graduate Texts in Mathematics)
Da: Wonder Book, Frederick, MD, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
-
EUR 80,86
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Algebraic Approaches to Program Semantics
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 128,84
Spedizione EUR 7,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Predicate Transformer Semantics
Lingua: Inglese
Editore: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
EUR 29,90
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | 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 (Monographs in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 138,28
Spedizione EUR 14,35
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 366 pages. 9.25x6.10x1.10 inches. In Stock.
-
EUR 83,90
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Algebraic Approaches to Program Semantics | Ernest G. Manes (u. a.) | Taschenbuch | Monographs in Computer Science | xiii | Englisch | 2014 | Springer | EAN 9781461293774 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Predicate Transformer Semantics
Lingua: Inglese
Editore: Cambridge University Press, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
EUR 94,90
Spedizione EUR 62,33
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 (Monographs in Computer Science)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
EUR 179,60
Spedizione EUR 42,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. 351 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Joint slightly loose. Otherwise, a neat copy. 9780387963242 Sprache: Englisch Gewicht in Gramm: 1000.
-
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 225,89
Spedizione EUR 28,71
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
Algebraic Theories.
Editore: Springer-Verlag 1976., 1976
Da: Rönnells Antikvariat AB, Stockholm, Svezia
Membro dell'associazione: ILAB SVAF
Valutazione del venditore 5 su 5 stelle
EUR 64,79
Spedizione EUR 26,00
Spedito da Svezia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello(10), 356 pp. Publisher's hardcover. A very good copy. (Graduate Texts in Mathematics, 26.).
-
Arrows, Structures and Functors: Categorical Imperative.
Editore: Academic Press Inc. 1975., 1975
Da: Antiquariaat Ovidius, Bredevoort, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 74,00
Spedizione EUR 22,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Gebraucht / Used. Hardcover. Good. Xiii,185pp.
-
Arrows, Structures and Functions - the Categorical Imperative
Editore: New York Academic Press Inc, 1975
Da: Chaucer Head Bookshop, Stratford on Avon, Stratford-Upon-Avon, Regno Unito
Valutazione del venditore 4 su 5 stelle
Prima edizione
EUR 100,53
Spedizione EUR 24,11
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardback, 8vo maroon cloth boards, gilt titles, first edition, xiii prelims, 185pp. plus index, Very Good/NoWrapper. Boards are a little faded but book is basically tight, clean and solid, with no bumping. An introduction to the concepts of category theory underlying mathematics. Catalogue: Science. Keywords: Mathematics, category, theory This book may attract a higher postage charge than automatically calculated on the website in order to ensure that it is fully covered for an appropriate amount of compensation in the event of loss in the post. If so we will make contact to agree any additional postal charges before completing any transaction.
-
Predicate Transformer Semantics (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2004
ISBN 10: 0521616107 ISBN 13: 9780521616102
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Algebraic Approaches to Program Semantics (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
EUR 75,84
Spedizione EUR 6,80
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Predicate Transformer Semantics
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 73,70
Spedizione EUR 11,48
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 223 pages. 9.50x7.25x0.50 inches. In Stock. This item is printed on demand.
