| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:150664046:1240 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:150664046:1240?format=raw |
LEADER: 01240cam a22003017a 4500
001 2010931106
003 DLC
005 20120517112716.0
008 100622s2010 gw a b 001 0 eng d
010 $a 2010931106
020 $a9783642145377 (pbk. : acid-free paper)
020 $a364214537X (pbk. : acid-free paper)
035 $a(OCoLC)ocn648933593
040 $aBTCTA$beng$cBTCTA$dYDXCP$dEMU$dCDX$dDLC
042 $alccopycat
050 00 $aQA76.9.L63$bM66 2010
100 1 $aMontali, Marco.
245 10 $aSpecification and verification of declarative open interaction models :$ba logic-based approach /$cMarco Montali.
260 $aBerlin ;$aNew York :$bSpringer,$cc2010.
300 $axxii, 411 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in business information processing ;$v56
504 $aIncludes bibliographical references and index.
505 0 $apt. 1. Specification -- pt. 2. Static verification -- pt. 3. Run-time and a-posteriori verification -- pt. 4. Conclusion and future work.
650 0 $aComputer logic.
650 0 $aManagement information systems.
650 0 $aDeclarative programming languages.
650 0 $aComputational intelligence.
830 0 $aLecture notes in business information processing ;$v56.