Articoli correlati a Foundations for Programming Languages
Sinossi
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
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by Mitchell John C
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 156,33
EUR 25,62 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Foundations for Programming Languages
Foto dell'editore
Foundations for Programming Languages
Da: Better World Books: West, Reno, NV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4071940-6
Quantità: 1 disponibili
Foto dell'editore
Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Da: Friends of Johnson County Library, Lenexa, KS, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 53DTTR000RAH
Quantità: 1 disponibili
Foto dell'editore
Foundations for Programming Languages (Foundations of Computing)
Da: Hawking Books, Edgewood, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. Very Good Condition. Five star seller - Buy with confidence! Codice articolo X0262133210X2
Quantità: 1 disponibili
Foto dell'editore
Foundations for Programming Languages (Foundations of Computing)
Da: Griffin Books, Stamford, CT, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: 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. Codice articolo 115875
Quantità: 1 disponibili
Foto dell'editore
Foundations for Programming Languages
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 10.25. Codice articolo G0262133210I3N00
Quantità: 1 disponibili
Foto dell'editore
Foundations for Programming Languages (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Da: Toscana Books, AUSTIN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned0262133210
Quantità: 1 disponibili