Matches in Library of Congress for { <http://lccn.loc.gov/2006938539> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- 2006938539 alternative "7th International Conference of B Users".
- 2006938539 alternative "International Conference of B Users".
- 2006938539 alternative "Seventh International Conference of B Users".
- 2006938539 contributor B10746897.
- 2006938539 contributor B10746898.
- 2006938539 created "c2006.".
- 2006938539 date "2006".
- 2006938539 date "c2006.".
- 2006938539 dateCopyrighted "c2006.".
- 2006938539 description "Includes bibliographical references and index.".
- 2006938539 extent "xiii, 292 p. :".
- 2006938539 identifier "3540687602 (pbk.)".
- 2006938539 identifier "9783540687603 (pbk.)".
- 2006938539 identifier 2006938539-d.html.
- 2006938539 isPartOf "Lecture notes in computer science ; 4355".
- 2006938539 issued "2006".
- 2006938539 issued "c2006.".
- 2006938539 language "eng".
- 2006938539 publisher "Berlin ; New York : Springer,".
- 2006938539 subject "004.2/4 22".
- 2006938539 subject "B method (Computer science) Congresses.".
- 2006938539 subject "Debugging in computer science Congresses.".
- 2006938539 subject "QA76.9.B22 I57 2007".
- 2006938539 title "7th International Conference of B Users".
- 2006938539 title "B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings / Jacques Julliand, Olga Kouchnarenko (eds.).".
- 2006938539 title "International Conference of B Users".
- 2006938539 title "Seventh International Conference of B Users".
- 2006938539 type "text".