Vote for your favorite mineral in #MinCup25! - Dioptase vs. Wavellite
It's a green, green world for kiwi #wavellite vs desert emerald #dioptase.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

(2002) Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1033032

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleSpecifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]
JournalComputer
Year2002 (September)Volume35
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
DOIdoi:10.1109/mc.2002.1033032Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID6558304Long-form Identifiermindat:1:5:6558304:7
GUID0
Full Reference(2002) Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1033032
Plain Text(2002) Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1033032
In(2002) Computer Vol. 35. Institute of Electrical and Electronics Engineers (IEEE)

See Also

These are possibly similar items as determined by title/reference text matching only.

(2002) Systematic Software Testing [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1033030
(2002) Nonuniform Sampling: Theory and Practice [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1033031
Lutz, M.J. (2002) Recipes for image analysis [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1009171
(2002) Reuse-based software engineering: techniques, organizations, and controls [Book Review]. Computer, 35. 99 doi:10.1109/mc.2002.1009492
(2002) Creative evolutionary systems [Book Review]. Computer, 35. 99 doi:10.1109/mc.2002.1009488
Lutz, M.J. (2002) Intelligent machines and systems [Book Review]. Computer, 35. 132 doi:10.1109/mc.2002.976924
Lutz, M.J. (2002) Handling spatial data [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1009173
(2002) Secure Commuicating Systems: Design, Analysis, and Implementation [Book Review]. Computer, 35. 89 doi:10.1109/mc.2002.993778
Lutz, M.J. (2002) When smaller is better [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1009172
Lutz, M.J. (2002) Wireless through a CS lens [Book Review]. Computer, 35. 81 doi:10.1109/mc.2002.1009174
Lutz, M.J. (2002) Developing Secure Distributed Systems with CORBA [Book Review]. Computer, 35. 72 doi:10.1109/mc.2002.1039528
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are Β© OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 10, 2025 14:49:40
Go to top of page