DocumentCode :
819881
Title :
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review]
Volume :
35
Issue :
9
fYear :
2002
Firstpage :
81
Lastpage :
81
Keywords :
Biomedical engineering; Book reviews; Digital filters; Hardware; Image coding; Image sampling; Interpolation; Software tools; Speech processing; World Wide Web;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.2002.1033032
Filename :
1033032
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=819881
