Matches in Library of Congress for { <http://lccn.loc.gov/2005923295> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2005923295 contributor B10392591.
- 2005923295 contributor B10392592.
- 2005923295 created "2005.".
- 2005923295 date "2005".
- 2005923295 date "2005.".
- 2005923295 dateCopyrighted "2005.".
- 2005923295 description "Includes bibliographical references and index.".
- 2005923295 extent "xv, 491 p. :".
- 2005923295 identifier "3540255591 (pbk.)".
- 2005923295 identifier "9783540255598".
- 2005923295 identifier 2005923295-d.html.
- 2005923295 isPartOf "Lecture notes in computer science, 0302-9743 ; 3455".
- 2005923295 issued "2005".
- 2005923295 issued "2005.".
- 2005923295 language "eng".
- 2005923295 publisher "Berlin ; New York : Springer,".
- 2005923295 subject "005.133 22".
- 2005923295 subject "B (Computer program language) Congresses.".
- 2005923295 subject "Formal specification".
- 2005923295 subject "QA76.73.B3 I573 2005".
- 2005923295 subject "Z (Computer program language) Congresses.".
- 2005923295 title "ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings / Helen Treharne ... [et al.] (eds.).".
- 2005923295 type "text".