A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Practical Foundations for Programming Languages

Nyelv AngolAngol
Könyv Kemény kötésű
Könyv Practical Foundations for Programming Languages Robert Harper
Libristo kód: 02851683
Kiadó Cambridge University Press, április 2016
This text develops a comprehensive theory of programming languages based on type systems and structu... Teljes leírás
? points 244 b
36 321 Ft
Beszállítói készleten Küldés 14-21 napon belül

Akár 30 napos visszaküldési lehetőség

Ezt is ajánljuk

Toplistás
Structure and Interpretation of Computer Programs H Abelson / Könyv Puha kötésű
common.buy 30 101 Ft
Purely Functional Data Structures Chris Okasaki / Könyv Kemény kötésű
common.buy 40 896 Ft
Types and Programming Languages Pierce / Könyv Kemény kötésű
common.buy 39 838 Ft
Instructor's Manual t/a Structure and Interpretation of Computer Programs Julie Sussman / Könyv Puha kötésű
common.buy 17 251 Ft
Programming Languages: The Complete Guide Bruce Goodwin / Könyv Kemény kötésű
common.buy 52 693 Ft
Handbook of Programming Languages Samuel Green / Könyv Kemény kötésű
common.buy 50 695 Ft
Every Last Secret A. R. Torre / Könyv Puha kötésű
common.buy 5 083 Ft
Outdoor Design: Projects and Plans for a Stylish Garden Matt Keightley / Könyv Kemény kötésű
common.buy 5 783 Ft
Toplistás
Story Orchestra: Carnival of the Animals Jessica Courtney Tickle / Könyv Kemény kötésű
common.buy 6 963 Ft
Elements of Computing Systems Shimon Schocken / Könyv Puha kötésű
common.buy 23 095 Ft
Toplistás
Dessert Person Claire Saffitz / Könyv Kemény kötésű
common.buy 10 673 Ft
The Python Bible 7 in 1: Volumes One To Seven Florian Dedov / Könyv Puha kötésű
common.buy 14 566 Ft
Icewind Dale: Rime of the Frostmaiden Wizards RPG Team / Könyv Kemény kötésű
common.buy 20 100 Ft
This Is the Way (Star Wars: The Mandalorian) Golden Books / Könyv Kemény kötésű
common.buy 2 177 Ft
Toplistás
In A Holidaze Christina Lauren / Könyv Puha kötésű
common.buy 4 147 Ft
Math for Programmers Paul Orland / Könyv Puha kötésű
common.buy 23 528 Ft
Toplistás
US Super Carrier Patrick Bunce / Könyv Kemény kötésű
common.buy 11 016 Ft
Costume and Fashion James Laver / Könyv Puha kötésű
common.buy 7 706 Ft
Toplistás
Obviously Awesome April Dunford / Könyv Puha kötésű
common.buy 6 427 Ft
Toplistás
Demon Slayer: Kimetsu no Yaiba, Vol. 8 Koyoharu Gotouge / Könyv Puha kötésű
common.buy 3 743 Ft
Ralph Lauren's Polo Shirt A. Ralph Lauren Book / Könyv Kemény kötésű
common.buy 11 214 Ft
Olcsón
Little Princess Alfonso Cuarón / Filmek DVD
common.buy 2 219 Ft
Comptia A+ Guide to Information Technology Technical Support, Loose-Leaf Version Joy Shelton / Könyv Lap
common.buy 52 364 Ft
Toplistás
The Proof of My Innocence Jonathan Coe / Könyv Puha kötésű
common.buy 4 058 Ft

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Practical Foundations for Programming Languages
Szerző Robert Harper
Nyelv Angol
Kötés Könyv - Kemény kötésű
Kiadás éve 2016
Oldalszám 512
EAN 9781107150300
ISBN 1107150302
Libristo kód 02851683
Kiadó Cambridge University Press
Súly 1156
Méretek 262 x 188 x 33

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?