Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Practical Foundations for Programming Languages

Name: Practical Foundations for Programming Languages
Brand: Cambridge University Press
SKU: 02851683
Price: 2222 CZK
Availability: InStock
Author: Robert Harper
ISBN: 9781107150300

Robert Harper

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02851683

Nakladatelství Cambridge University Press, duben 2016

This text develops a comprehensive theory of programming languages based on type systems and structu... Celý popis

Libristo kód: 02851683

222 b

2 222 Kč

Skladem u dodavatele Odesíláme za 9-13 dnů

Až 30 dní na vrácení zboží

Mohlo by vás také zajímat

Structure and Interpretation of Computer Programs H Abelson

Brožovaná

1 845 Kč

Purely Functional Data Structures Chris Okasaki

Pevná

2 515 Kč

Types and Programming Languages Pierce

Pevná

2 239 Kč

Programming Languages: The Complete Guide Bruce Goodwin

Pevná

3 164 Kč

Handbook of Programming Languages Samuel Green

Pevná

3 043 Kč

Instructor's Manual t/a Structure and Interpretation of Computer Programs Julie Sussman

Brožovaná

1 060 Kč

In A Holidaze Christina Lauren

Brožovaná

243 Kč

Elements of Computing Systems Shimon Schocken

Brožovaná

1 505 Kč

Dessert Person Claire Saffitz

Pevná

654 Kč

The Python Bible 7 in 1: Volumes One To Seven Florian Dedov

Brožovaná

832 Kč

This Is the Way (Star Wars: The Mandalorian) Golden Books

Pevná

135 Kč

Math for Programmers Paul Orland

Brožovaná

1 411 Kč

Paisley Rabbit and the Treehouse Contest Chris Dunn

Pevná

310 Kč

Teen Titans: Raven, Beast Boy and Beast Boy Loves Raven Box Set Gabriel Picolo

Brožovaná

982 Kč

Story Orchestra: Carnival of the Animals Jessica Courtney Tickle

Pevná

423 Kč

Every Last Secret A. R. Torre

Brožovaná

279 Kč

US Super Carrier Patrick Bunce

Pevná

658 Kč

Outdoor Design: Projects and Plans for a Stylish Garden Matt Keightley

Pevná

337 Kč

Costume and Fashion James Laver

Brožovaná

422 Kč

Demon Slayer: Kimetsu no Yaiba, Vol. 8 Koyoharu Gotouge

Brožovaná

204 Kč

Ralph Lauren's Polo Shirt A. Ralph Lauren Book

Pevná

893 Kč

From Lukov with Love Mariana Zapata

Brožovaná

431 Kč

Masters of Death BLAKE OLIVIE

Pevná

455 Kč

1,000 Places to See Before You Die Picture-A-Day® Wall Calendar 2027 Patricia Schultz

Kalendář

324 Kč

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.