Yazar
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
Format:
Electronic Resources
Alıntı:
submissions. They deal with functional programming; constraint programming and business rules; prolog and
View Other Search Results
Yazar
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
Format:
Electronic Resources
Alıntı:
Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: