Filter
This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and …
The book reports state of the art results in Software Engineering Research, Management & Applications in both printed and electronic form. SCI (Studies in Computation Intelligence) …
This edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed …