Sémantiques Formelles [French]

by Sandrine Blazy

Ce livre introduit les semantiques formelles et detaille des exemples d'utilisation pour definir des langages de programmation realistes et verifier des proprietes semantiques de ces langages. Il presente plusieurs styles et plusieurs definitions de semantiques formelles, puis introduit differentes transformations de programmes, et expose les choix de conception associes. En particulier, ce livre decrit une transformation de programmes inspiree de...

• Format: Paperback
• Language: French
• ISBN: 6131529957
• ISBN13: 9786131529955
• Release Date: September 2010
• Publisher: Omniscriptum
• Length: 132 Pages
• Weight: 0.45 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"