| 000 | 05805cam a2200745 a 4500 | ||
|---|---|---|---|
| 001 | ocm33439667 | ||
| 003 | OCoLC | ||
| 005 | 20250703142619.0 | ||
| 008 | 951026s1995 gw a b 101 0 eng | ||
| 010 | _a 95047444 | ||
| 040 |
_aDLC _beng _epn _cDLC _dPMC _dC$Q _dBAKER _dNLGGC _dBTCTA _dLVB _dYDXCP _dOCLCQ _dZWZ _dGW5XE _dOCLCQ _dMUU _dOCLCO _dOCLCA _dTFW _dOCLCA _dGW5XE _dOCLCF _dOCLCQ _dITD _dOCLCO _dOCLCQ _dOCL _dOCLCO _dOCLCQ _dCSJ _dOCLCQ _dYOU _dESU _dOCLCQ _dIL4J6 _dOCLCO _dOCLCL _dIG# _dAUD _dMCS _dNJR _dFQG _dUWO _dHUELT _dOCLCL |
||
| 019 |
_a190832700 _a629250573 _a811391382 _a1171099674 |
||
| 020 |
_a3540606300 _q(Berlin ; _qacid-free paper) |
||
| 020 |
_a9783540606307 _q(Berlin ; _qacid-free paper) |
||
| 020 |
_z3540485090 _q(electronic bk.) |
||
| 020 |
_z9783540485094 _q(electronic bk.) |
||
| 029 | 1 |
_aAU@ _b000012010239 |
|
| 029 | 1 |
_aAU@ _b000021783018 |
|
| 029 | 1 |
_aNZ1 _b13998022 |
|
| 029 | 1 |
_aNZ1 _b15295517 |
|
| 029 | 1 |
_aNZ1 _b4633116 |
|
| 029 | 1 |
_aYDXCP _b1250597 |
|
| 035 |
_a(OCoLC)33439667 _z(OCoLC)190832700 _z(OCoLC)629250573 _z(OCoLC)811391382 _z(OCoLC)1171099674 |
||
| 050 | 0 | 0 |
_aQA76.9.S88 _bT66 1995 |
| 082 | 0 | 0 |
_a005.2 _220 _1https://id.oclc.org/worldcat/ddc/E37WrBVmGmMrM8rPcWBJy7RtXT |
| 084 |
_a54.51 _2bcl |
||
| 049 | _aMAIN | ||
| 111 | 2 |
_aTACAS (Conference) _n(1st : _d1995 : _cÅrhus, Denmark) _914852 |
|
| 245 | 1 | 0 |
_aTools and algorithms for the construction and analysis of systems : _bfirst international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / _cE. Brinksma [and others], (eds.). |
| 260 |
_aBerlin ; _aNew York : _bSpringer, _c©1995. |
||
| 300 |
_a289 pages : _billustrations ; _c24 cm. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_aunmediated _bn _2rdamedia |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 490 | 1 |
_aLecture notes in computer science ; _v1019 |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | 0 | _aCombining model checking and deduction for I/O-automata / O. Müller and T. Nipkow -- A constraint oriented proof methodology based on modal transition systems / K.G. Larsen, B. Steffen and C. Weise -- A user guide to HYTECH / T.H. Henzinger, P.-H. Ho and H. Wong-Toi -- Modal [mu]-calculus, model checking and Gauss elimination / A. Mader -- MONA : Monadic second-order logic in practice / J.G. Henriksen [and others] -- Efficient simplification of bisimulation formulas / U.H. Engberg and K.S. Larsen -- Hierarchical compression for model-checking CSP or how to check 10²⁰ dining philosophers for deadlock / A.W. Roscoe [and others] -- A front-end generator for verification tools / R. Cleaveland, E. Madelaine and S. Sims -- Analytic and locally approximate solutions to properties of probabilistic processes / C. Tofts -- Model checking of non-finite state processes by finite approximations / N. De Francesco [and others] -- On automatic and interactive design of communicating systems / J. Bohn and S. Rössig -- Layers as knowledge transitions in the design of distributed systems / W. Janssen -- Parallelism for free : bitvector analyses -> no state explosion! / K. Knoop, B. Steffen and J. Vollmer. | |
| 520 | _a"This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems."--PUBLISHER'S WEBSITE. | ||
| 650 | 0 |
_aSystem design _vCongresses. _914606 |
|
| 650 | 0 |
_aComputer software _xDevelopment _vCongresses. _914853 |
|
| 650 | 0 |
_aElectronic data processing _xDistributed processing _vCongresses. _914854 |
|
| 650 | 6 |
_aLogiciels _xDéveloppement _vCongrès. _914855 |
|
| 650 | 6 |
_aConception de systèmes _vCongrès. _938793 |
|
| 650 | 6 |
_aTraitement réparti _vCongrès. _914856 |
|
| 650 | 7 |
_aComputer software _xDevelopment. _2fast _0(OCoLC)fst00872537 _92949 |
|
| 650 | 7 |
_aElectronic data processing _xDistributed processing. _2fast _0(OCoLC)fst00906987 |
|
| 650 | 7 |
_aSystem design. _2fast _0(OCoLC)fst01141401 _914611 |
|
| 650 | 1 | 7 |
_aLogica. _2gtt |
| 650 | 1 | 7 |
_aProgrammatuurtechniek. _2gtt |
| 650 | 7 |
_aComputer software _xDevelopment _vCongresses. _2nli _914853 |
|
| 650 | 7 |
_aElectronic data processing _xDistributed processing _vCongresses. _2nli _914854 |
|
| 650 | 7 |
_aTraitement réparti _xCongrès. _2ram _914860 |
|
| 650 | 7 |
_aLogiciels _xDéveloppement _xCongrès. _2ram _914861 |
|
| 655 | 7 |
_aConference papers and proceedings. _2fast _0(OCoLC)fst01423772 _96065 |
|
| 700 | 1 |
_aBrinksma, Ed. _914862 |
|
| 758 |
_ihas work: _aTools and algorithms for the construction and analysis of systems (Text) _1https://id.oclc.org/worldcat/entity/E39PCH7jvXT7WYdXHcRFMrYgcd _4https://id.oclc.org/worldcat/ontology/hasWork |
||
| 776 | 0 | 8 |
_iOnline version: _aTACAS (Conference) (1st : 1995 : Århus, Denmark). _tTools and Algorithms for the Construction and Analysis of Systems. _dBerlin, Heidelberg : Springer-Verlag, 1995 _z9783540485094 _w(OCoLC)827359869 |
| 830 | 0 |
_aLecture notes in computer science ; _v1019. |
|
| 856 | 4 | 0 | _uhttps://link.springer.com/10.1007/3-540-60630-0 |
| 938 |
_aIngram Library Services _bINGR _nin001350029 |
||
| 938 |
_aBaker & Taylor _bBKTY _c69.95 _d69.95 _i0387606300 _n0002782702 _sactive |
||
| 938 |
_aBaker and Taylor _bBTCP _n95047444 |
||
| 938 |
_aYBP Library Services _bYANK _n1250597 |
||
| 994 |
_a92 _bATIST |
||
| 999 |
_c635162 _d635162 |
||