Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009178189/catalog> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- catalog contributor b12933225.
- catalog contributor b12933226.
- catalog created "2003.".
- catalog date "2003".
- catalog date "2003.".
- catalog dateCopyrighted "2003.".
- catalog extent "xiii, 545 p. :".
- catalog identifier "3540402535 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2651".
- catalog issued "2003".
- catalog issued "2003.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.13/3 21".
- catalog subject "B (Computer program language) Congresses.".
- catalog subject "QA76.73.B155 I58 2003".
- catalog subject "Z (Computer program language) Congresses.".
- catalog title "ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / Didier Bert ... [et al.] (eds.)".
- catalog type "text".