Sinossi
This text is perfect for advanced undergraduate and beginning graduate courses in programming language theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
"I found the whole book a distinct pleasure to read and certainly recommend this text for consideration by instructors." Mathematical Reviews
"clearly structured...the presentation is clear, and the typesetting often helps the reader to understand the structure of the formulas. Each chapter contains valuable exercises and profound bibliographic notes that can serve as a starting point for further reading. I shall use this excellent textbook in my lectures." Computing Reviews
"...an important book...It is thorough and well organized, and the explanations are very clear. I found the technical content to be in almost every respect flawless. Although written to be a student text, I believe that most researchers (and many practitioners) in programming lanauges (and related fields) would find it worth reading." Journal of Functional Programming
Descrizione del libro
First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Theories of Programming Languages
Foto dell'editore
Theories of Programming Languages
Editore:
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Antico o usato
Rilegato
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0521594146I4N10
Compra usato
EUR 27,56
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theories of Programming Languages
Editore:
Cambridge University Press, Cambridge / New York, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Antico o usato
Rilegato
Da: Tiber Books, Cockeysville, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. 8vo, hardcover. No dj, as issued. Vg condition. Slightest moisture-rippling to bottom margin of pgs, to minor effect, not affecting text at all (no staining); Contents bright & clean, no markings; covers glossy. xii, 500 p. Codice articolo 1150630.19
Compra usato
EUR 44,39
Spese di spedizione:
EUR 4,73
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theories of Programming Languages
Editore:
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Antico o usato
Rilegato
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. Library sticker on front cover. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1150grams, ISBN:9780521594141. Codice articolo 5573705
Compra usato
EUR 36,86
Spese di spedizione:
EUR 14,77
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Theories of Programming Languages
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 700248-n
Compra nuovo
EUR 83,01
Spese di spedizione:
EUR 2,28
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Theories of Programming Languages
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 Scanned0521594146
Compra nuovo
EUR 81,62
Spese di spedizione:
EUR 3,71
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theories of Programming Languages
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190008726
Compra nuovo
EUR 83,03
Spese di spedizione:
EUR 3,44
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theories of Programming Languages
Editore:
Cambridge University Press, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Antico o usato
Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 700248
Compra usato
EUR 96,03
Spese di spedizione:
EUR 2,28
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Theories of Programming Languages (Hardcover)
Editore:
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521594146
ISBN 13: 9780521594141
Nuovo
Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behaviour. Both imperative and functional programming are covered, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigour, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages. A unified treatment of the basic principles of programming languages. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521594141
Compra nuovo
EUR 100,42
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Theories of Programming Languages
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521594141_new
Compra nuovo
EUR 87,17
Spese di spedizione:
EUR 13,68
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theories of Programming Languages
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 700248-n
Compra nuovo
EUR 87,16
Spese di spedizione:
EUR 17,12
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili