Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
A Summary of TLA+ Leslie Lamport 25 Aug 2000 Module-Level Constructs module M Begins the module or submodule named M .
Add to Reading List
Document Date: 2000-08-25 18:14:00
Open Document
File Size: 116,65 KB
Share Result on Facebook
Facility
The terminal /
/
Person
Leslie Lamport /
Nat /
/
Technology
ASCII /
/
SocialTag
Functions and mappings
Algebraic analysis
D-module
Sheaf theory
Summation
Function
Algebraic number field
Vector space
Mathematics
Algebra