Abstract interpretation of declarative languages
langage de programmation # langage déclaratif # progammation # programme informatique # prolog # validation
Publisher City : Brisbane ; Chichester ; N.Y.
Publisher country : États-Unis
Language : English
EAN13 : 9780745801094
ISBN : 0-7458-0109-9
Collation : 24 cm ; Bibliogr. ; Index ; rel.
Series : Ellis horwood series in computer and their applications
Location : Monographie RdC (ABRA)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00011489 | [available] |