Turkish
Recent Trends in Algebraic Development Techniques
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Advances in Verification of Multi-agent Systems
-
Altmetric BadgeChapter 2 The Distributed Ontology, Model and Specification Language – DOL
-
Altmetric BadgeChapter 3 Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
-
Altmetric BadgeChapter 4 Asymmetric Combination of Logics is Functorial: A Survey
-
Altmetric BadgeChapter 5 Algebraic Model Management: A Survey
-
Altmetric BadgeChapter 6 Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
-
Altmetric BadgeChapter 7 A Calculus of Virtually Timed Ambients
-
Altmetric BadgeChapter 8 An Institution for Event-B
-
Altmetric BadgeChapter 9 On the Most Suitable Axiomatization of Signed Integers
-
Altmetric BadgeChapter 10 Observational Semantics for Dynamic Logic with Binders
-
Altmetric BadgeChapter 11 Towards Critical Pair Analysis for the Graph Programming Language GP 2
-
Altmetric BadgeChapter 12 Canonical Selection of Colimits
-
Altmetric BadgeChapter 13 Formalizing and Validating the P-Store Replicated Data Store in Maude
-
Altmetric BadgeChapter 14 Generic Hoare Logic for Order-Enriched Effects with Exceptions
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions