Sinossi
The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Semantics with Applications: A Formal Introduction
Foto dell'editore
Semantics with Applications: A Formal Introduction (Wiley Professional Computing)
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Semantics with Applications: A Formal Introduction (Wiley Professional Computing) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9780471929802
Compra usato
EUR 6,83
Spedizione EUR 5,76
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Semantics With Applications: A Formal Introduction (Wiley Professional Computing)
Editore:
John Wiley & Sons Inc, 1880
ISBN 10: 0471929808
ISBN 13: 9780471929802
Antico o usato
Rilegato
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships via media mail. Codice articolo OTV.0471929808.G
Compra usato
EUR 13,09
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Semantics with Applications : A Formal Introduction
Editore:
Wiley & Sons, Incorporated, John, 1992
ISBN 10: 0471929808
ISBN 13: 9780471929802
Antico o usato
Rilegato
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP21280526
Compra usato
EUR 8,27
Spedizione EUR 5,77
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Semantics with Applications: A Formal Introduction (Wiley Professional Computing)
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9780471929802
Compra usato
EUR 7,26
Spedizione EUR 8,06
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Semantics With Applications: A Formal Introduction
Editore:
John Wiley & Sons Ltd, 1992
ISBN 10: 0471929808
ISBN 13: 9780471929802
Antico o usato
Brossura
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 soft 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,550grams, ISBN:9780471929802. Codice articolo 5573704
Compra usato
EUR 22,88
Spedizione EUR 15,70
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Semantics With Applications: A Formal Introduction (Wiley Professional Computing)
Editore:
John Wiley & Sons Ltd, 1993
ISBN 10: 0471929808
ISBN 13: 9780471929802
Antico o usato
Softcover
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. 240 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Retired library copy with corresponding markings. Otherwise, a neat copy. 9780471929802 Sprache: Englisch Gewicht in Gramm: 1000. Codice articolo 317544
Compra usato
EUR 30,90
Spedizione EUR 42,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili