Artículos relacionados a Foundations for Programming Languages (Foundations...
Sinopsis
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
John C. Mitchell is Professor in the Department of Computer Science at Stanford University.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialMIT Press
- Año de publicación1996
- ISBN 10 0262133210
- ISBN 13 9780262133210
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas868
- Contacto del fabricanteno disponible
EUR 47,50
EUR 20,08 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 80,98
EUR 26,13 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Foundations for Programming Languages (Foundations...
Imagen de archivo
Foundations for Programming Languages
Librería: Better World Books: West, Reno, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Nº de ref. del artículo: 4071940-6
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Librería: Friends of Johnson County Library, Lenexa, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Hardcover book. The exterior can have various markings and wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library. Nº de ref. del artículo: 53DTTR000RAH
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages (Foundations of Computing)
Librería: Hawking Books, Edgewood, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Very Good Condition. Five star seller - Buy with confidence! Nº de ref. del artículo: X0262133210X2
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages (Foundations of Computing)
Publicado por
The MIT Press, 1996
ISBN 10: 0262133210
ISBN 13: 9780262133210
Antiguo o usado
Tapa dura
Librería: Griffin Books, Stamford, CT, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: As New. As new clean tight and bright oversized and overweight. Please email for photos. Larger books or sets may require additional shipping charges. Books sent via US Postal. Nº de ref. del artículo: 115875
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Fair. No Jacket. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 10.25. Nº de ref. del artículo: G0262133210I5N10
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Nº de ref. del artículo: Scanned0262133210
Cantidad disponible: 1 disponibles