LEADER 01986cam  2200505Ia 4500001    ocm75927640
003    OCoLC
005    20141211192912.0
008    061110s2006    gw a          101 0 eng d
010      2006935874
016 7  981567282 |2GyFmDB
020    9783540489283 (pbk.)
020    3540489282 (pbk.)
020    9783540489283
029 0  OHX |bhar060137982
029 1  YDXCP |b2491512
035    (Sirsi) o75927640
035    (OCoLC)75927640
040    OHX |cOHX |dBAKER |dCUS |dYDXCP |dUtOrBLW
049    EREE
072  7 QA |2lcco
090    QA76.9.F67 |bI86 2004
111 2  ISoLA 2004 |d(2004 : |cPaphos, Cyprus) |=^A704610
245 10 Leveraging applications of formal methods : |bfirst international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / |cTiziana Margaria, Bernhard Steffen (eds.).
246 30 ISoLA 2004
260    Berlin ;New York : |bSpringer, |c©2006.
300    viii, 196 pages : |billustrations ; |c24 cm.
336    text |2rdacontent
337    unmediated |2rdamedia
338    volume |2rdacarrier
490 1  Lecture notes in computer science ; |v4313, |x0302-9743 ;
504    Includes bibliographical references and index.
650  0 Formal methods (Computer science) |vCongresses. |=^A422971
700 1  Margaria-Steffen, Tiziana, |d1964- |=^A704611
700 1  Steffen, Bernhard. |=^A381039
830  0 Lecture notes in computer science |v4313. |=^A466336
994    92 |bERE
910    PromptCat
938    Otto Harrassowitz |bHARR |nhar060137982 |c44.94 EUR
938    Baker & Taylor |bBKTY |c58.00 |d58.00 |i3540489282 |n0007074195 |sactive
938    YBP Library Services |bYANK |n2491512
980    2006-12-20 |b58 |d0 |e55.1 |f30848
596    1
998    1065014