Articles liés à Semantics with Applications: An Appetizer
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 27,94
Gratuit expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour Semantics with Applications: An Appetizer
Image d'archives
Semantics with Applications: An Appetizer
Edité par
SPRINGER NATURE, 2007
ISBN 10 : 1846286913
ISBN 13 : 9781846286919
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Seiten: 274 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 3587103/3
Quantité disponible : 1 disponible(s)
Image d'archives
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Edité par
Springer London (edition 2007), 2007
ISBN 10 : 1846286913
ISBN 13 : 9781846286919
Ancien ou d'occasion
Paperback
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. 2007. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N° de réf. du vendeur 1846286913-11-1
Quantité disponible : 1 disponible(s)
Image d'archives
SEMANTICS WITH APPLICATIONS: AN APPETIZER
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABNR-73160
Quantité disponible : 2 disponible(s)
Image d'archives
Semantics with Applications
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 288. N° de réf. du vendeur 18288718
Quantité disponible : 4 disponible(s)
Image d'archives
Semantics with Applications
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 288. N° de réf. du vendeur 26288708
Quantité disponible : 4 disponible(s)
Image d'archives
Semantics with Applications
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 288 Illus. N° de réf. du vendeur 7591963
Quantité disponible : 4 disponible(s)
Image d'archives
Semantics With Applications: An Appetizer (Pb)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-242356
Quantité disponible : 7 disponible(s)
Image d'archives
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9781846286919_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Semantics with Applications: An Appetizer
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9781846286919
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Semantics with Applications
impression à la demandeVendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a rigorous introduction to the main approaches to formal semantics of programming languagesBreaks new ground by considering the validation of compilers, static program analysers, validation of security properties and techniques for estima. N° de réf. du vendeur 4283034
Quantité disponible : Plus de 20 disponibles