Gorilla
发表于 2025-3-25 04:37:02
Prolog III and Real-Time System Engineering,The aim of formal specifications is to support software development, and gradually reduce their cost and production time. They also enable program maintenance by providing precise and automatically analysable interfaces.
AUGER
发表于 2025-3-25 10:46:26
Ammar AttouiA good introduction/practitioner‘s guide to distributed programming.Contains lots of complete examples
魔鬼在游行
发表于 2025-3-25 14:44:15
978-1-85233-252-5Springer-Verlag London 2000
巫婆
发表于 2025-3-25 18:34:47
Real-Time and Multi-Agent Systems978-1-4471-0463-6Series ISSN 1439-9245
gene-therapy
发表于 2025-3-25 23:08:23
http://reply.papertrans.cn/83/8224/822304/822304_25.png
palette
发表于 2025-3-26 00:16:05
http://reply.papertrans.cn/83/8224/822304/822304_26.png
多嘴多舌
发表于 2025-3-26 05:48:45
http://reply.papertrans.cn/83/8224/822304/822304_27.png
WAG
发表于 2025-3-26 11:02:10
Management of Persistent Objects,d to implement a true manager adapted to the needs of these applications. Emphasis will be placed on the system structure in terms of specialized processes or agents, and on the communication protocols of the application as a whole.
巩固
发表于 2025-3-26 15:03:36
http://reply.papertrans.cn/83/8224/822304/822304_29.png
无能力之人
发表于 2025-3-26 17:58:50
http://reply.papertrans.cn/83/8224/822304/822304_30.png