Titlebook: Recent Trends in Algebraic Development Techniques; 14th International W Didier Bert,Christine Choppy,Peter D. Mosses Conference proceedings

Flounder

A Model for Interaction of Agents and Environmentsvalence. Two behaviours are insertion equivalent if they define the same transformation of an environment. The properties of this equivalence are studied. Three main types of insertion functions are used to develop interesting applications: one-step insertion, head insertion, and look-ahead insertio

冒烟

持续

978-3-540-67898-4Springer-Verlag Berlin Heidelberg 2000

领带

Recent Trends in Algebraic Development Techniques978-3-540-44616-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

paradigm

CYN

陈旧

Medley

幼稚

职业