عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Erroneous ISBN
032114306X (pbk. : alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b411872
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Specifying systems :
General Material Designation
[Book]
Other Title Information
the TLA+ language and tools for hardware and software engineers /
First Statement of Responsibility
Leslie Lamport.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 364 pages)
REPRODUCTION NOTE
Text of Note
Available via World Wide Web
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web
TOPICAL NAME USED AS SUBJECT
Computer systems-- Specifications.
Logic, Symbolic and mathematical.
System design.
DEWEY DECIMAL CLASSIFICATION
Number
004
.
2/1
Edition
21
PERSONAL NAME - PRIMARY RESPONSIBILITY
Lamport, Leslie.
ORIGINATING SOURCE
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
