Wyniki wyszukiwania dla: Carolyn Talcott
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 523-555
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part IV: Reference > 697-736
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 645-665
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 459-483
Lecture Notes in Computer Science > ECOOP 2002 — Object-Oriented Programming > Invited Talk 1 > 1-36
Lecture Notes in Computer Science > Formal Methods for Computational Systems Biology > Regular Lectures > 21-53
Lecture Notes in Computer Science > Software-Intensive Systems and New Computing Paradigms > I Ensemble Engineering > 101-115
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part III: Applications and Tools > 667-693
Lecture Notes in Computer Science > Algebraic Biology > 155-169
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part I: Core Maude > 373-384
Lecture Notes in Computer Science > All About Maude - A High-Performance Logical Framework > Part II: Full Maude > 559-597