| Record ID | marc_loc_updates/v40.i21.records.utf8:5566159:1240 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v40.i21.records.utf8:5566159:1240?format=raw |
LEADER: 01240nam a22003017a 4500
001 2010931106
003 DLC
005 20120516111422.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.