Matches in Library of Congress for { <http://lccn.loc.gov/2002074369> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2002074369 contributor B9244922.
- 2002074369 created "c2003.".
- 2002074369 date "2003".
- 2002074369 date "c2003.".
- 2002074369 dateCopyrighted "c2003.".
- 2002074369 extent "xvi, 364 p. ;".
- 2002074369 identifier "032114306X (pbk. : alk. paper)".
- 2002074369 issued "2003".
- 2002074369 issued "c2003.".
- 2002074369 language "eng".
- 2002074369 publisher "Boston : Addison-Wesley,".
- 2002074369 subject "004.2/1 21".
- 2002074369 subject "Computer systems Specifications.".
- 2002074369 subject "Logic, Symbolic and mathematical.".
- 2002074369 subject "QA76.9.S88 L35 2003".
- 2002074369 subject "System design.".
- 2002074369 title "Specifying systems : the TLA+ language and tools for hardware and software engineers / Leslie Lamport.".
- 2002074369 type "text".