La lecture à portée de main
Suivre
Documents
Programming with non-determinism: a rewriting based approach = Programación con indeterminismo: un enfoque basado en reescritura
Documents
Savoirs
Programming with non-determinism: a rewriting based approach = Programación con indeterminismo: un enfoque basado en reescritura
364 pages
Español
Documents
Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
Documents
Savoirs
Depuración declarativa y verificación heterogénea en Maude = Declarative debugging and heterogeneous verification in Maude
394 pages
Español
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}