<--- Back to Details
First PageDocument Content
Computing / Programming language theory / Unified Modeling Language / Boolean algebra / Object Constraint Language / Type system / Boolean data type / Enumerated type / EXPRESS / Data types / Software engineering / Type theory
Date: 2008-05-12 05:05:11
Computing
Programming language theory
Unified Modeling Language
Boolean algebra
Object Constraint Language
Type system
Boolean data type
Enumerated type
EXPRESS
Data types
Software engineering
Type theory

Add to Reading List

Source URL: cs.ulb.ac.be

Download Document from Source Website

File Size: 280,97 KB

Share Document on Facebook

Similar Documents

Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2

DocID: 1vr0B - View Document

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1,

DocID: 1vkNs - View Document

Modelica - A Unified Object-Oriented Language for Systems Modeling Version 3.3

DocID: 1vkgS - View Document

ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling Tutorial Version 1.4 December 15, 2000

DocID: 1v0CN - View Document

Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract

DocID: 1v03q - View Document