Search Result
| Your search for 38080 returns 41 document(s) |
| Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form, (LNCS-Lecture Notes in Computer Science 939) Hal 293-308 |
| Author: Patrick Cousot; Radhia Cousot; | Call Number: 004 Int c | Type: Indeks Artikel LNCS |
| Find Similar | Add To Favorites | Detail in New Window |
| Prev 1 2 3 4 5 Next |