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

冒煙

持續(xù)

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

領(lǐng)帶

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

paradigm

CYN

陳舊

Medley

幼稚

職業(yè)