Matches in Library of Congress for { <http://lccn.loc.gov/2010931106> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2010931106 contributor B12091727.
- 2010931106 created "c2010.".
- 2010931106 date "2010".
- 2010931106 date "c2010.".
- 2010931106 dateCopyrighted "c2010.".
- 2010931106 description "Includes bibliographical references and index.".
- 2010931106 description "pt. 1. Specification -- pt. 2. Static verification -- pt. 3. Run-time and a-posteriori verification -- pt. 4. Conclusion and future work.".
- 2010931106 extent "xxii, 411 p. :".
- 2010931106 identifier "364214537X (pbk. : acid-free paper)".
- 2010931106 identifier "9783642145377 (pbk. : acid-free paper)".
- 2010931106 isPartOf "Lecture notes in business information processing ; 56".
- 2010931106 isPartOf "Lecture notes in business information processing ; 56.".
- 2010931106 issued "2010".
- 2010931106 issued "c2010.".
- 2010931106 language "eng".
- 2010931106 publisher "Berlin ; New York : Springer,".
- 2010931106 subject "Computational intelligence.".
- 2010931106 subject "Computer logic.".
- 2010931106 subject "Declarative programming languages.".
- 2010931106 subject "Management information systems.".
- 2010931106 subject "QA76.9.L63 M66 2010".
- 2010931106 tableOfContents "pt. 1. Specification -- pt. 2. Static verification -- pt. 3. Run-time and a-posteriori verification -- pt. 4. Conclusion and future work.".
- 2010931106 title "Specification and verification of declarative open interaction models : a logic-based approach / Marco Montali.".
- 2010931106 type "text".