9780262062756 - semantics engineering with plt redex di felleisen, matthias; findler, robert bruce; flatt, matthew (21 risultati)

- Rilegato
Da: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 27,00
EUR 3,28 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: 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.

- Rilegato
Da: Bellwetherbooks, McKeesport, PA, U.S.A.Bellwetherbooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 27,00
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Very Good. Very Good Condition - May show some limited signs of wear and may have a remainder mark. Pages and dust cover are intact and not marred by notes or highlighting.

- Rilegato
Da: Sunshine State Books, Lithia, FL, U.S.A.Sunshine State Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 30,98
EUR 6,17 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Good. Hardback--a few corners turned down--otherwise, no flaws.

- Rilegato
Da: Book Alley, Pasadena, CA, U.S.A.Book Alley
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 40,58
EUR 5,25 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: Very Good. A very good hardcover. No dust jacket, as issued. Light shelfwear to boards. No markings.

Semantics Engineering With PLT Redex (The MIT Press)
M Flatt R Findler Robert Bruce Findler Matthias Felleisen Matthew Flatt
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 46,48
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xii + 502 First Edition.

- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 54,30
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread copy in mint condition.

- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,39
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.

- Rilegato
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,95
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms… of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http-//www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,17
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.

- Rilegato
Da: Rarewaves USA, OSWEGO, IL, U.S.A.Rarewaves USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,56
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New.

- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 69,62
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.

Semantics Engineering With PLT Redex (The MIT Press)
Flatt M Findler R Robert Bruce Findler Matthias Felleisen Matthew Flatt
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 64,32
EUR 7,59 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. xii + 502 Illus.

- Rilegato
Da: GoldBooks, Denver, CO, U.S.A.GoldBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,37
EUR 4,81 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. New Copy. Customer Service Guaranteed.

Semantics Engineering With PLT Redex (The MIT Press)
Flatt M Findler R Robert Bruce Findler Matthias Felleisen Matthew Flatt
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 65,24
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. xii + 502.

- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 86,26
EUR 17,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 528 pages. 9.50x7.00x1.00 inches. In Stock.

- Rilegato
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.Rarewaves USA United
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,32
EUR 43,77 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New.

- Rilegato
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,40
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Matthias Felleisen is Trustee Professor in the College of Computer Science at Northeastern University.Robert Bruce Findler is Associate Professor of Computer Science at Northwestern University.Matthew Flatt is Professor in the School of Comp.

- Rilegato
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,60
EUR 32,39 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms… of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http-//www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 130,46
EUR 9,19 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Num Pages: 520 pages, 36 figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 187 x 237 x 29. Weight in Grams: 982. . 2009. 1st. Hardcover. . . . . Books… ship from the US and Ireland.

- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,32
EUR 75,90 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New.

- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,57
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Num Pages: 520 pages, 36 figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 187 x 237 x 29. Weight in Grams: 982. . 2009. 1st. Hardcover. . . . .