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 D'occasion
état : SatisfaisantIt's a preowned item in good condition...
Afficher cet article
EUR 11,70
Gratuit expédition vers Etats-Unis
Destinations, frais et délaisAcheter neuf
Afficher cet article
EUR 18,67
EUR 3,44 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Semantics with Applications: An Appetizer
Image d'archives
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Edité par
Springer London (edition 2007), 2010
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. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. N° de réf. du vendeur 1846286913-11-1
Quantité disponible : 1 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
Edité par
Springer London, Limited, 2007
ISBN 10 : 1846286913
ISBN 13 : 9781846286919
Ancien ou d'occasion
Couverture souple
Edition originale
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 1st Edition. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 13716340-20
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: 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 ABEOCT25-217785
Quantité disponible : 7 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: AN APPETIZER
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. N° de réf. du vendeur ASNT3-73160
Quantité disponible : 2 disponible(s)
Image d'archives
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. N° de réf. du vendeur SHAK217785
Quantité disponible : 7 disponible(s)
Image fournie par le vendeur
Semantics With Applications : An Appetizer
Edité par
Springer London, 2010
ISBN 10 : 1846286913
ISBN 13 : 9781846286919
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5149235
Quantité disponible : Plus de 20 disponibles