Yazar
Bansal, Nikhil. editor.
Format:
Electronic Resources
Alıntı:
and formal languages; concurrency; constraints, logic and semantic; software architecture and
Yazar
Leucker, Martin. editor.
Format:
Electronic Resources
Alıntı:
and formal languages; concurrency; constraints, logic and semantic; software architecture and
View Other Search Results
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
Architecture ACT-R -- CHRAnimation: An Animation Tool for Constraint Handling Rules -- Termination Analysis
Arama Sonuçlarını Sınırlandır
Daraltılmış: