Matches in Library of Congress for { <http://lccn.loc.gov/2010001382> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2010001382 contributor B11738142.
- 2010001382 created "2010.".
- 2010001382 date "2010".
- 2010001382 date "2010.".
- 2010001382 dateCopyrighted "2010.".
- 2010001382 description "Includes bibliographical references and index.".
- 2010001382 extent "xxvi, 586 p. :".
- 2010001382 identifier "0521895561 (hbk.)".
- 2010001382 identifier "9780521895569 (hbk.)".
- 2010001382 identifier 9780521895569.jpg.
- 2010001382 issued "2010".
- 2010001382 issued "2010.".
- 2010001382 language "eng".
- 2010001382 publisher "Cambridge ; New York : Cambridge University Press,".
- 2010001382 subject "004.01/51 22".
- 2010001382 subject "B method (Computer science)".
- 2010001382 subject "Computer science Mathematical models.".
- 2010001382 subject "Computer systems Verification.".
- 2010001382 subject "Formal methods (Computer science)".
- 2010001382 subject "QA76.9.F67 A27 2010".
- 2010001382 title "Modeling in Event-B : system and software engineering / Jean-Raymond Abrial.".
- 2010001382 type "text".
