Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Mathematical Foundations of Programming Semantics Stephen D. Brookes
Libristo kod: 01565808
Nakladnici Springer, Berlin, studeni 1993
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations... Cijeli opis
? points 249 b
103.16 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

BABADADA black-and-white, norsk (nynorsk) - Swati, visuell ordbok - sichazamavi lesibonakalako / Knjiga Meki uvez
common.buy 7.89 €
Wilfried Seibicke: Historisches Deutsches Vornamenbuch. Bände 1-5 Wilfried Seibicke / Knjiga Tvrdi uvez
common.buy 898.52 €
sentiero si crea camminando. Lo zen come metafora della vita Osho / Knjiga Meki uvez
common.buy 12.35 €
imprevedibilità dell’amore. Hacked heart Laraine Moonstone / Knjiga Meki uvez
common.buy 14.28 €
ZYX Italo Disco: Flemming Dalum Remixes / Audio Audio CD
common.buy 16.61 €
¿Qué será de ti? / Como vai voc^? AGUILAR / Knjiga Meki uvez
common.buy 18.33 €
L'Astrolabe LESSON PIERRE-ADOLPHE / Knjiga Meki uvez
common.buy 56.14 €
poznámkový sešit Mláďátka II, A4, 80 g, 40 listů, linka, mix 6 motivů / Proizvodi od papira Proizvodi od papira
common.buy 1.61 €
Huele a sol, sabe a luna EMILIA PESQUEIRA / Audio Audio CD
common.buy 14.99 €
BABADADA, Afrikaans - Mirpuri (in arabic script), geillustreerde woordeboek - visual dictionary (in arabic script) Babadada Gmbh / Knjiga Meki uvez
common.buy 28.37 €
Marifetullah Imam-I Gazali / Knjiga Meki uvez
common.buy 11.24 €
Geschichte Der Haupt- Und Residenzstadt Kassel. Franz Carl Theodor Piderit / Knjiga Meki uvez
common.buy 28.47 €
Suppen - Rund um die Welt Mirko Reeh / Knjiga Meki uvez
common.buy 13.57 €
Aktivitäten zur Sprachförderung Claudia Iven / Knjiga Meki uvez
common.buy 23.81 €
Notice de Livres Classiques, l'Enseignement Secondaire Classique, l'Enseignement Superieur 1889 Hachette Et Cie / Knjiga Meki uvez
common.buy 12.46 €
Node.js, Javascript del lado del servidor : manual práctico avanzado Manuel López Quintero / Knjiga Meki uvez
common.buy 37.39 €
Psyche Erwin Rohde / Knjiga Meki uvez
common.buy 44.99 €
Engel Sandra Oberheim / Knjiga Meki uvez
common.buy 14.08 €
Allgemeine Geschäftsbedingungen in der europäischen Rechtspraxis Walter Schuppich / Knjiga Meki uvez
common.buy 23.70 €

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Mathematical Foundations of Programming Semantics
Autor Stephen D. Brookes, Michael G. Main, Austin C. Melton
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1994
Broj stranica 654
EAN 9783540580270
ISBN 3540580271
Libristo kod 01565808
Nakladnici Springer, Berlin
Težina 810
Dimenzije 155 x 233 x 34

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Specifying Message Passing and Time-Critical Systems with Temporal Logic Ron Koymans / Knjiga Meki uvez
common.buy 51.78 €
Trends in Tourist Behavior Andrés Artal-Tur / Knjiga Tvrdi uvez
common.buy 185.45 €
Mary and the Fathers of the Church Luigi Gambero / Knjiga Meki uvez
common.buy 19.45 €
Nature and Blessedness of Christian Purity R S Foster / Knjiga Meki uvez
common.buy 19.25 €
Ephphatha T.L.C. Succour / Knjiga Meki uvez
common.buy 9.01 €
Love To Give Sharyn Boe-Blue / Knjiga Meki uvez
common.buy 25.22 €
What Good Is an I? Marie Powell / Knjiga Tvrdi uvez
common.buy 35.36 €
Perfect Wagnerite - A Commentary on the Niblung's Ring Bernard Shaw / Knjiga Meki uvez
common.buy 13.57 €
Top
Murder for Busy People Tony Parsons / Knjiga Meki uvez
common.buy 9.72 €
Polymer Clay Jewelry Mastery Elyrien Kynellz / Knjiga Meki uvez
common.buy 13.98 €
St. Jerome and Holy Scripture Pope Benedictus XV / Knjiga Meki uvez
common.buy 11.75 €
Overcoming Anxiety: A Single Idea Can Make a Difference Tirath S Gill MD / Knjiga Meki uvez
common.buy 17.32 €
The Autobiography of St. Ignatius Saint Ignatius / Knjiga Meki uvez
common.buy 14.79 €
Financial Trading and Investing John Teall / Knjiga Meki uvez
common.buy 85.83 €
Preparing Informal Science Educators Patricia G Patrick / Knjiga Meki uvez
common.buy 206.13 €
Mathematical Problems in Data Science Li M. Chen / Knjiga Meki uvez
common.buy 123.73 €
Introduction to the Punjab: The Sikh Mystique Volume One Mark Parsons / Knjiga Meki uvez
common.buy 28.37 €
Where is the Easter Bunny? RAINEY LE SERAPHINE / Knjiga Meki uvez
common.buy 10.63 €
The Lost Supper: Searching for the Future of Food in the Flavors of the Past Taras Grescoe / Knjiga Tvrdi uvez
common.buy 24.01 €
The Text Of The Bruts From The Red Book Of Hergest John Gwenogvryn Evans / Knjiga Tvrdi uvez
common.buy 39.31 €
The Kinnears V3: A Scottish Story (1852) Sarah Tytler / Knjiga Meki uvez
common.buy 30.80 €
The Animal World of Albert Schweitzer: Jungle Insights Into Reverence for Life Albert Schweitzer / Knjiga Meki uvez
common.buy 26.95 €
Portuguese Armed Forces and the Revolution Douglas Porch / E-knjiga Adobe ePub DRM
common.buy 48.64 €
Top
Grandmaster of Demonic Cultivation: Mo Dao Zu Shi (Novel) Vol. 4 Mo Xiang Tong Xiu / Knjiga Meki uvez
common.buy 14.48 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?