-19%

0 €

Advanced Topics in Types and Programming Languages

(0) | Klausimai ir atsakymai (0)

Specifikacijos:

Autorius:	Benjamin C. Pierce
Puslapių skaičius:	588
Leidimo metai:	2004
Prekės ID:	80653010

Daugiau informacijos

0 € pristatymas nuo 30 € su kodu 624PRISTATYMAS

198⁴⁶ €

246¹⁶ €

-19%

Pardavėjas: Minced 4.3

Į krepšelį

9⁶⁸ € / mėn.

Lizingo skaičiuoklė

Skolinantis 198⁴⁶ €, sutartį sudarant 36 mėn. laikotarpiui, mėn. įmoka - 9⁶⁸ €, metinė palūkanų norma - 41,12%, mėn. sutarties administravimo mokestis - 0⁰⁰ €, sutarties sudarymo mokestis - 0⁰⁰ €, BVKKMN - 49,77%, bendra vartojimo kredito gavėjo mokama suma - 348⁴⁸ €.
Paslaugos teikėjas: „AS Inbank filialas“.

3 x 66¹⁶ €

Be pabrangimo

Jūsų miestas

Vilniuje, parduotuvėje (Laisvės pr. 75)

Penktadienį, liepos 5 d.

0⁰⁰ €

LP EXPRESS terminale

Liepos 8 d.

0 € pristatymas nuo 30 € su kodu 624PRISTATYMAS

2¹⁹ €

Vilniuje, parduotuvėje (Upės g. 9 (PC „CUP“))

Penktadienį, liepos 5 d.

0⁰⁰ €

Kaune, parduotuvėje (K. Baršausko g. 66A, PC „Molas“)

Penktadienį, liepos 5 d.

0⁰⁰ €

Klaipėdoje, Panevėžyje, parduotuvėje

Liepos 7 d.

0⁰⁰ €

Šiauliuose, parduotuvėje (Pramonės g. 6 (PC „Bruklinas“))

Liepos 8 d.

0⁰⁰ €

Atsiimkite Pigu terminale Vilniuje

Liepos 7 d.

1⁹⁹ €

Atsiimkite Omniva paštomate

Liepos 8 d.

2⁶⁵ €

Pristatysime į namus

Liepos 8 d.

3⁴⁹ €

Lietuvos pašto skyriuje

Liepos 9 d.

1⁴⁹ €

Smartpost terminale

Liepos 9 d.

2⁶⁹ €

Dėmesio! Pristatymo terminai yra preliminarūs, kadangi terminai atsinaujina priklausomai nuo faktinio užsakymo pateikimo ir apmokėjimo laiko. Galutinis pristatymo terminas yra pateikiamas Pigu.lt patvirtinus užsakymą.

Visi pristatymo būdai

14 dienų grąžinimo garantija

Pardavėjas: Minced 4.3

Kiti taip pat domėjosi

Prekės aprašymas: Advanced Topics in Types and Programming Languages

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.Advanced Topics in Types and Programming Languages builds on Benjamin Pierce's Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems -- the material covered in the first half of the earlier book.Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.
A thorough and accessible introduction to a range of key ideas in type systems for programming language.

Bendra informacija apie: Advanced Topics in Types and Programming Languages

Prekės ID:	80653010
Kategorija:	Ekonomikos knygos
Prekės pakuočių kiekis:	1 vnt.
Pakuotės išmatavimai ir svoris (1):	0,3 x 0,3 x 0,1 m, 0,2 kg
Leidykla:	MIT Press Ltd
Leidinio kalba:	Anglų
Tipas:	Ekonomika
Pardavėjas:	Minced
Autorius:	Benjamin C. Pierce
Puslapių skaičius:	588
Leidimo metai:	2004

Daugiau informacijos

Prekių nuotraukos skirtos tik iliustraciniams tikslams ir yra pavyzdinės. Prekės aprašyme esančios video nuorodos yra tik informacinio pobūdžio, todėl jose pateikiama informacija gali skirtis nuo pačios prekės. Originalių produktų spalvos, užrašai, parametrai, matmenys, dydžiai, funkcijos, ir/ar bet kurios kitos savybės dėl savo vizualinių ypatybių gali atrodyti kitaip negu realybėje, todėl prašome vadovautis prekių savybėmis, kurios nurodytos prekių aprašymuose.

Pranešti apie klaidą prekės aprašyme

Partnerių pasiūlymai

Reklama

Įvertinimai ir atsiliepimai (0)

Advanced Topics in Types and Programming Languages

Būkite pirmas parašęs atsiliepimą!

Informacija ir taisyklės

Šią prekę gali įvertinti tik ją įsigiję bei registruoti Pigu.lt pirkėjai.

Įvertinti prekę

Klausimai ir atsakymai (0)

Paklauskite apie šią prekę kitų pirkėjų!

Informacija ir taisyklės

Užduoti klausimą

Jūsų klausimas buvo sėkmingai pateiktas. Į klausimą bus atsakyta per 3 darbo dienas

Įrašykite klausimą apie šią prekę

Klausimą turi sudaryti bent 10 simbolių

Noriu dalyvauti diskusijose apie mano įsigytas prekes

Pateikti klausimą Atšaukti

Rekomenduojame kartu su: Advanced Topics in Types and Programming Languages

Geriausi pardavėjo Minced pasiūlymai

Tęskite apsipirkimą

Ekonomikos knygos

: The Richest Man In Babylon, Modern Java in Action: Lambdas, streams, functional and reactive programming 2nd edition, Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems, Good Strategy/Bad Strategy: The difference and why it matters Main, Brief History of Equality, This is Service Design Thinking. Basics - Tools - Cases: Basics - Tools - Cases, Microsoft Excel 365 Bible 2nd Edition, Exactly What to Say: The Magic Words for Influence and Impact, World for Sale: Money, Power and the Traders Who Barter the Earth's Resources, Fluent Python: Clear, Concise, and Effective Programming 2nd Revised edition, Things to Make and Do in the Fourth Dimension, Way of the Wolf: Straight line selling: Master the art of persuasion, influence, and success - THE Secrets OF THE Wolf OF Wall Street, Technofeudalism: What Killed Capitalism, Front-End Back-End Development with HTML, CSS, Jav aScript, jQuery, PHP, and MySQL, Care to Dare: Unleashing Astonishing Potential Through Secure Base Leadership

Tavo nekilnojamojo turto imperija: kaip susikurti pasyvių pajamų srautus, Kelias į finansinę laisvę. Pirmasis milijonas per 7 metus, Background Independence in Classical and Quantum Gravity, Environmental Hazards: Assessing Risk and Reducing Disaster 7th edition, How Brands Become Icons: The Principles of Cultural Branding, Job Interviewing For Dummies, Leadership Without Easy Answers, Race and National Security, Complex Analysis, GREGG Shorthand Manual Simplified 2nd edition, Modern Quantum Theory: From Quantum Mechanics to Entanglement and Quantum Information, Project Planning, Scheduling, and Control, Sixth Edition: The Ultimate Hands-On Guide to Bringing Projects in On Time and On Budget 6th edition, Entrepreneurship: The Art Science and Process for Success ISE 4th edition, Textbook of Diagnostic Microbiology 7th edition, Theoretical Statistical Optics

The Richest Man In Babylon, Modern Java in Action: Lambdas, streams, functional and reactive programming 2nd edition, Microsoft Excel 365 Bible 2nd Edition, 1931: Debt, Crisis, and the Rise of Hitler, Brief History of Black Holes: And why nearly everything you know about them is wrong, Dream: The Extraordinary Revelation Of Who We Are And Where We Are, Teach Yourself Visually Windows 11, Doughnut Economics: Seven Ways to Think Like a 21st-Century Economist, Legend Of Zelda, The: Hyrule Historia: Hyrule Historia, Hyrule Historia, Legend Of Zelda Encyclopedia