Structure of Typed Programming Languages

Häftad, Engelska, 1994

Av David A. Schmidt

129 kr

Tillfälligt slut

Produktinformation

  • Utgivningsdatum1994-03-01
  • Mått175 x 226 x 23 mm
  • Vikt680 g
  • FormatHäftad
  • SpråkEngelska
  • SerieFoundations of Computing
  • Antal sidor383
  • FörlagMIT Press Ltd
  • ISBN9780262691710

Tillhör följande kategorier

Mer från samma författare

Mathematical Foundations of Programming Semantics
Del 442

Mathematical Foundations of Programming Semantics

Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt, G. Goos, J. Hartmanis

709 kr

The Studio

The Studio

David a. Schmidt, R. J. Schmidt

269 kr

Static Analysis
Del 1145

Static Analysis

Radhia Cousot, David A. Schmidt, David a. Schmidt

729 kr

Du kanske också är intresserad av

Exploring Interior-Point Linear Programming: Algorithms and Software

Exploring Interior-Point Linear Programming: Algorithms and Software

Ami Arbel

709 kr

Computability and Complexity

Computability and Complexity

Neil Deaton Jones

1 009 kr

Foundations for Programming Languages

Foundations for Programming Languages

John C. Mitchell

249 kr

Dynamic Logic

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn

1 269 kr

Basic Category Theory for Computer Scientists

Basic Category Theory for Computer Scientists

Benjamin C. Pierce, University of Pennsylvania) Pierce, Benjamin C. (Professor

659 kr

Formal Semantics of Programming Languages

Formal Semantics of Programming Languages

Glynn Winskel, Glynn (University of Cambridge) Winskel

1 499 kr

Pappaskämt : den ultimata humorn

Pappaskämt : den ultimata humorn

 

49 kr79 kr

Static Analysis
Del 1145

Static Analysis

Radhia Cousot, David A. Schmidt, David a. Schmidt

729 kr

Mathematical Foundations of Programming Semantics
Del 442

Mathematical Foundations of Programming Semantics

Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt, G. Goos, J. Hartmanis

709 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr