-
Krishnendu Chatterjee (auth.)
Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read
دانلود کتاب Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
by Krishnendu Chatterjee (auth.)|
|
عنوان فارسی: مشکلات قابل دسترسی: 5 کارگاه آموزشی بین المللی، RP 2011، جنوا، ایتالیا، سپتامبر 28-30، 2011. مجموعه مقالات |
دانلود کتاب
جزییات کتاب
This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011.The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with reachability problems that appear in algebraic structures, computational models, hybrid systems, logic, and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modelled as games.
کتاب های مرتبط
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Ita...
Krishnendu Chatterjee (auth.), 2011 
این کتاب رو مطالعه کردید؟ نظر شما چیست؟
برای ارسال نظر، لطفا وارد شوید.
نظر دهید
Adding comments has been disabled.
نظرات (0)
هنوز نظری داده نشده است. شما اولین باشید!
