Specification and verification of declarative open interaction models
Computer logicComputational intelligenceDeclarative programming languagesManagement information systemsInformation technologyBusiness
Writing a summary for young readers…
For young readers
Book data: Open Library