Sold Out
Book Categories |
Invited surveys | ||
Algebraic specification of concurrency | 1 | |
Objects and their specification | 40 | |
The use of sorts in algebraic specifications | 66 | |
Implementation and behavioural equivalence: a survey | 93 | |
Contributed papers | ||
Relationships between logical frameworks | 126 | |
Label algebras: a systematic use of terms | 144 | |
How to specify non determinism and true concurrency with algebraic term nets | 164 | |
Bounded implementation of algebraic specifications | 181 | |
New concepts of amalgamation and extension for a general theory of specifications | 199 | |
Nonequivalence of categories for equational algebraic specifications | 222 | |
Process semantics of temporal logic specifications | 236 | |
The object-based specification language II: concepts, syntax, and semantics | 254 | |
Specifications with observable formulae and observational satisfaction relation | 271 | |
Event logic for specifying abstract dynamic data types | 292 | |
A soft stairway to institutions | 310 | |
Generic classes in an object-based language | 330 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionRecent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A
X
This Item is in Your InventoryRecent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A
X
You must be logged in to review the productsX
X
X
Add Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A, , Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A to the inventory that you are selling on WonderClubX
X
Add Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A, , Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A to your collection on WonderClub |