Articoli correlati a Semantics with Applications: An Appetizer
Sinossi
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science.
Written out of a tradition that places special emphasis on operational semantics, denotational semantics and axiomatic semantics, this book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including:
- Validating prototype implementations of programming languages
- Verifying program analyses that are part of more advanced implementations of programming languages
- Verifying security analyses
- Verifying useful program properties including information about execution time.
This is an introductory text that should serve as an appetizer to the whole area of semantics with applications.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoShips from the UK. Used book that...
Visualizza questo articolo
EUR 17,19
EUR 5,76 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 16,45
EUR 7,95 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Semantics with Applications: An Appetizer
Foto dell'editore
Semantics with Applications : An Appetizer
Editore:
Springer London, Limited, 2007
ISBN 10: 1846286913
ISBN 13: 9781846286919
Antico o usato
Brossura
Prima edizione
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 1st Edition. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 13716340-20
Quantità: 2 disponibili
Foto dell'editore
Semantics with Applications: An Appetizer
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 3587103/3
Quantità: 1 disponibili
Foto dell'editore
Semantics with Applications
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 288. Codice articolo 18288718
Quantità: 4 disponibili
Foto dell'editore
Semantics with Applications
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 288 Illus. Codice articolo 7591963
Quantità: 4 disponibili
Foto dell'editore
Semantics with Applications
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 288. Codice articolo 26288708
Quantità: 4 disponibili
Foto dell'editore
Semantics With Applications: An Appetizer (Pb)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-217785
Quantità: 7 disponibili
Foto dell'editore
SEMANTICS WITH APPLICATIONS: AN APPETIZER
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-73160
Quantità: 2 disponibili
Foto dell'editore
SEMANTICS WITH APPLICATIONS: AN APPETIZER
Da: SMASS Sellers, IRVING, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNT3-73160
Quantità: 2 disponibili
Foto dell'editore
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Da: ALLBOOKS1, Direk, SA, Australia
Valutazione del venditore 5 su 5 stelle
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Codice articolo SHAK217785
Quantità: 7 disponibili
Immagini fornite dal venditore
Semantics with Applications: An Appetizer
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 2007 ed. Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time. Codice articolo LU-9781846286919
Quantità: Più di 20 disponibili