Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 6.49 € Bpost punt 8.49 € Bpost 7.99 € DPD-punt 3.99 € GLS koerier 5.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Category Theory and Computer Programming

Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Taal EngelsEngels
Boek Paperback
Boek Category Theory and Computer Programming David Pitt
Libristo-code: 01558350
Uitgeverij Springer, Berlin
Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.... Volledige beschrijving
? points 125 b
51.34 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wykorzystanie gier komputerowych w ?rodowisku edukacyjnym Adrielle Veras de Almeida / Boek Paperback
common.buy 23.92 €
Unter den Olivenbaumen Woldemar Raden / Boek Paperback
common.buy 23.10 €
Die kurze Stunde der Frauen Miriam Gebhardt / Boek Gebonden
common.buy 23.30 €
La Villa imperiale di Punta Eolo: Rivestimenti pavimentali e parietali del settore residenziale de Vos Raaijmakers / Boek Paperback
common.buy 104.10 €
Christmas Joy Rico Design GmbH & Co. KG / Boek Gebonden
common.buy 8.23 €
Quantum Chemistry Chayannika Singh / Boek Gebonden
common.buy 266.50 €
Grüne Smoothies für Diabetiker Julia Zichner / Boek Paperback
common.buy 17.78 €
Lost Themes John Carpenter / Audio Audio cd
common.buy 18.68 €
Lettre Adressee A M. Le Dr Petroz A Propos Du Progres En Homoeopathie AUDOUIT-E / Boek Paperback
common.buy 13.96 €
Ustawa o ofercie publicznej. Komentarz Opracowanie zbiorowe / Boek Gebonden
common.buy 127.82 €
Černý Petr - Šmoulové / Drukwerk Speelkaarten
common.buy 3.11 €
Vergleich des Plusquamperfekts im Deutschen und Albanischen Edesa Paheshti / Boek Paperback
common.buy 14.36 €
100 metalických samolepek s omalovánkovými listy Jednorožci / Boek Paperback
common.buy 3.51 €
Morderstwo! I kieł narwala. Śledztwa w Mroczakrach Alex T. Smith / Boek Paperback
common.buy 7.02 €
Ключи от Хогвартса. Культурные коды вселенной Гарри Поттера Г. Юзефович / Boek Gebonden
common.buy 18.28 €
Vergaberecht im Wettbewerb der Systeme Marc Bungenberg / Boek Gebonden
common.buy 140.78 €
Irlandische Marchen Karl Knortz / Boek Gebonden
common.buy 23.91 €
Sovětské strategické letectvo v době studené války Jefim Gordon / Boek Gebonden
common.buy 24.81 €
Historia Natural Y Moral De Las Indias; Volume 2 Jose De Acosta / Boek Paperback
common.buy 28.33 €
Cool Cooler Cale Rüdiger Bloemeke / Boek Paperback
common.buy 19.59 €
En el bosque oscuro DALE BAILEY / Boek Paperback
common.buy 25.92 €
Wordt verwacht
Huellas de sangre Mario Martín Gijón / Boek Paperback
common.buy 10.84 €
L'homme qui se prenait pour Napoleon Murat / Boek Paperback
common.buy 11.85 €
CORPS ET LE TEMPS AL chedid andree / Boek Boek
common.buy 20.79 €

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure - Higher types in categories.- Algebra categorically.- Category theory and logic.- Categories, data types, and imperative languages.- Category theory and programming language semantics: An overview.- Weakest preconditions: Categorical insights.- A categorical view of weakest liberal preconditions.- Functor-category semantics of programming languages and logics.- Finite approximation of spaces.- Categories of partial morphisms and the ?P-calculus.- A note on distributive laws and power domains.- Category theory and models for parallel computation.- Categorical models of process cooperation.- Galois connections and computer science applications.- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments.- Bits and pieces of the theory of institutions.- Extended ML: An institution-independent framework for formal program development.- Behavioural program specification.- Key extensions of abstract data types, final algebras, and database semantics.- Theories as categories.- Internal completeness of categories of domains.- Formalising the network and hierarchical data models - an application of categorical Logic.- A categorical unification algorithm.- Computing with categories.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Category Theory and Computer Programming
Auteur David Pitt, Samson Abramsky, Axel Poigne, David Rydeheard
Taal Engels
Bindwijze Boek - Paperback
Aantal pagina's 522
EAN 9783540171621
ISBN 3540171622
Libristo-code 01558350
Uitgeverij Springer, Berlin
Gewicht 739
Afmetingen 156 x 234 x 27

Categorieën

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Category Theory Using Haskell Shuichi Yukita / Boek Gebonden
common.buy 199.87 €
Legendary Beasts: Chupacabra Christine Ha / Boek Paperback
common.buy 9.64 €
Richmond Secondary Readers Where's Mauriac Lester Vaughan / Boek Paperback
common.buy 16.97 €
Bill Nye and Boomerang Bill Nye / Boek Paperback
common.buy 23.10 €
I Want to Show You: Poems Jane Gilgun / Boek Paperback
common.buy 9.64 €
Piers of the Homeless Night Willa Cather / Boek Paperback
common.buy 4.71 €
Stories of a Western Town Octave Thanet / Boek Paperback
common.buy 15.16 €
Moonlight and Molly Maureen Harris / Boek Gebonden
common.buy 17.38 €
Tiny Palmistry: Read Your Future! Nikki van de Car / Boek Paperback
common.buy 10.94 €
Performance / Media / Art / Culture Jacki Apple / Boek Paperback
common.buy 44.11 €
A Woman Is No Man RUM ETAF / Boek Paperback
common.buy 15.37 €
The Third Degree: A Play In Four Acts (1908) Charles Klein / Boek Paperback
common.buy 20.69 €
Deontology V2: Or the Science of Morality in Which the Harmony and Coincidence of Duty and Self-Interest, Virtue and Felicity, Pruden Jeremy Bentham / Boek Gebonden
common.buy 47.72 €
Engineering Hollywood Luci Marzola / E-book Adobe ePub DRM
common.buy 37.88 €
Law of Reinsurance Colin Edelman QC / E-book Adobe ePub DRM
common.buy 214.84 €
The Institutes of Justinian: With English Introduction, Translation, and Notes Thomas Collett Sandars / Boek Gebonden
common.buy 44.81 €
Tri Again Chris Sheard / Boek Paperback
common.buy 15.87 €
Twice Upon a Time Michelle Harrison / Luisterboek MP3
common.buy 20.89 €
A Visit to the United States and Canada in 1833 Richard Weston / Boek Paperback
common.buy 25.01 €
WHATS WRONG WITH SECRETARY KIM V06 V06 / Boek Paperback
common.buy 16.07 €
Elvstr m Explains the Racing Rules Paul Elvstrom / E-book Adobe ePub DRM
common.buy 26.12 €
John Sloane's Country Seasons(r) 2026 Deluxe Wall Calendar John Sloane / Kalender/agenda Kalender
common.buy 18.29 €
Wordt verwacht
Spirit of the Wolf 2026 12 X 12 Wall Calendar Willow Creek Press / Boek Paperback
common.buy 14.86 €
Guarded by the Snake Layla Fae / Boek Paperback
common.buy 15.06 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?