Back to Results
First PageMeta Content
Homological algebra / Forcing / Five lemma / Theorem / Mathematical logic / Model theory / Logic / Mathematics / Lemmas


Document Date: 2003-03-21 03:22:00

Open Document

File Size: 713,99 KB

Share Result on Facebook

Company

Logica UK Ltd / /

Country

United Kingdom / /

/

IndustryTerm

basic protocol / proof tools / communications device / n-step protocol / communications medium / message protocol / electronic commerce / /

Movie

The world 5 / /

Organization

Oxford University / /

Person

David Cooper Jim Woodcock / Eoin MacDonnell / Susan Stepney David Cooper Jim / /

/

Position

concrete level model / which forms the Formal Architectural Design / central controller / forward / /

Technology

basic protocol / n-step protocol / message protocol / /

SocialTag