This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيدThis book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيدModern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations ...
اقرأ المزيدThis volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيدThis volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
اقرأ المزيدThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيدThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيدThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
اقرأ المزيدThis book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical ...
اقرأ المزيدThis volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. ...
اقرأ المزيدThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
اقرأ المزيدThis book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
اقرأ المزيدpresent CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...
اقرأ المزيدThis book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيدThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيد