Matches in Library of Congress for { <http://lccn.loc.gov/2007930649> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- 2007930649 alternative "How to specify, program and verify systems in rewriting logic".
- 2007930649 contributor B11061577.
- 2007930649 created "c2007.".
- 2007930649 date "2007".
- 2007930649 date "c2007.".
- 2007930649 dateCopyrighted "c2007.".
- 2007930649 description "Includes bibliographical references and index.".
- 2007930649 extent "xxii, 797 p. :".
- 2007930649 hasFormat "Also issued online.".
- 2007930649 identifier 2007930649-d.html.
- 2007930649 identifier openurl.asp?genre=issue&issn=0302-9743&volume=4350.
- 2007930649 isFormatOf "Also issued online.".
- 2007930649 isPartOf "LNCS sublibrary. SL 2, Programming and software engineering".
- 2007930649 isPartOf "Lecture notes in computer science ; 4350.".
- 2007930649 isPartOf "Lecture notes in computer science, 0302-9743 ; 4350. Tutorial".
- 2007930649 isPartOf "Lecture notes in computer science. Tutorial.".
- 2007930649 issued "2007".
- 2007930649 issued "c2007.".
- 2007930649 language "eng".
- 2007930649 publisher "Berlin ; New York : Springer,".
- 2007930649 relation "Also issued online.".
- 2007930649 subject "005.13/3 22".
- 2007930649 subject "Computer logic.".
- 2007930649 subject "Human information processing.".
- 2007930649 subject "Maude (Computer program language)".
- 2007930649 subject "QA76.73.M35 A44 2007".
- 2007930649 subject "Rewriting systems (Computer science)".
- 2007930649 title "All about Maude : a high-performance logical framework : how to specify, program, and verify systems in rewriting logic / Manuel Clavel ... [et al.].".
- 2007930649 title "How to specify, program and verify systems in rewriting logic".
- 2007930649 type "text".