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.
Resultados de la búsqueda para Foundations for Programming Languages (Foundations...
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: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_474160994
Comprar usado
EUR 28,49
Envío por EUR 3,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
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: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 10 (SALE item)* 845 pp., Hardcover, wear to spine else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Nº de ref. del artículo: ZB1348242
Comprar usado
EUR 27,87
Envío por EUR 3,89
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 4071940-6
Comprar usado
EUR 43,26
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Nº de ref. del artículo: M00262133210-V
Comprar usado
EUR 37,04
Envío por EUR 20,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Foundations for programming languages.
Publicado por
Cambridge, MIT Press, 2000
ISBN 10: 0262133210
ISBN 13: 9780262133210
Antiguo o usado
Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Gut. 3rd print. 846 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16162 9780262133210 Sprache: Englisch Gewicht in Gramm: 1620. Nº de ref. del artículo: 2546703
Comprar usado
EUR 31,73
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations for Programming Languages (Foundations of Computing)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: 97R44_80_0262133210
Comprar nuevo
EUR 219,36
Envío por EUR 4,76
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles