Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Norge

Region er basert på IP-adresse

Advanced Topics in Types and Programming Languages

Innbundet • 2004 • Engelsk

Advanced Topics in Types and Programming Languages

0 vurderinger • 0.0 av 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

Om boken

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...Vis mer

Om boken

ISBN

9780262162289

Forlag

MIT Press

Publiseringsår

2004

Språk

Engelsk

Originaltittel

Advanced Topics in Types and Programming Languages

Format

Innbundet

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Programming Principles and Practice Using C++

Programming Principles and Practice Using C++

Bjarne Stroustrup

Introduction to computing systems

Introduction to computing systems

Pat Yale

An Introduction to Parallel Programming

An Introduction to Parallel Programming

Pacheco Peter

Practical Programming, 3e

Practical Programming, 3e

Paul Gries

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

Concepts of Programming Languages

Concepts of Programming Languages

Robert W. Sebesta

Programming in Haskell

Programming in Haskell

Graham Hutton

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Ian Chivers

Semantics

Semantics

John I. Saeed

Programming Language Pragmatics

Programming Language Pragmatics

USA) Scott Michael L. (University of Rochester NY

Programming

Programming

Bjarne Stroustrup

Big Java: Early Objects, 5th edition

Big Java: Early Objects, 5th edition

Cay Gibson

Exercises in Programming Style

Exercises in Programming Style

USA) Lopes Cristina Videira (University of California Irvine

Introducing Language Typology

Introducing Language Typology

Edith A. Moravcsik

Language, Proof and Logic

Language, Proof and Logic

Dave Barker-Plummer

Computer Systems A Programmer's Perspective

Computer Systems A Programmer's Perspective

Randal E. Bryant

C++ Primer Plus

C++ Primer Plus

Stephen Prata

Discrete Structures, Logic and Computability

Discrete Structures, Logic and Computability

James L. Hein

A Book of Abstract Algebra Second Edition

A Book of Abstract Algebra Second Edition

Charles C Pinter

Concepts, techniques and models of computer programming

Concepts, techniques and models of computer programming

Seif Haridi

Introduction to computing systems: from bits & gates to c & beyond

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

Introduction to computing systems - from bits…

Introduction to computing systems - from bits…

Yale University) Baaij C.J.W. (J.S.D. candidate

Logic and Computer Design Fundamentals

Logic and Computer Design Fundamentals

M. Morris Mano

Concepts in Programming Languages

Concepts in Programming Languages

John Abercrombie

Programming Challenges The Programming Contest Training Manual

Programming Challenges The Programming Contest Training Manual

Steven S. Skiena

Syntactic Theory A Formal Introduction

Syntactic Theory A Formal Introduction

Ivan A. Sag

C++ from the Beginning

C++ from the Beginning

Jan Skansholm

Introduction to computing systems - from bits & gates to C & beyond

Introduction to computing systems - from bits & gates to C & beyond

Yale N. Patt

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

The Practice of Programming

The Practice of Programming

Brian W. Kernighan

THIRD EDITION PROGRAMMING LANGUAGE CONCEPTS

THIRD EDITION PROGRAMMING LANGUAGE CONCEPTS

Carlo Ghezzi

Advanced Perl Programming

Advanced Perl Programming

Sriram Srinivasan

Compiler Construction

Compiler Construction

Kenneth C. Louden

Programming Languages

Programming Languages

Ravi Sethi

Pattern Languages of Program Design

Pattern Languages of Program Design

John M. Vlissides

Data Structures and Algorithm Analysis (2nd Edition)

Data Structures and Algorithm Analysis (2nd Edition)

Mark Allen Weiss

Concrete Mathematics

Concrete Mathematics

Ronald Graham

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

C Programming Language

C Programming Language

Brian W. Kernighan

Computer Science

Computer Science

Behrouz A. Forouzan