Formal methods for open object-based distributed systems : ... IFIP WG 6.1 International Conference, FMOODS ... : proceedings

LDR 01386nas a2200337Ia 4500
001 003900854
003 MiAaHDL
005 20240917000000.0
006 m d
007 cr bn ---auaua
008 040524c199u9999gw ax p 1 a0eng d
035 ‡a(MiU)990039008540106381
035 ‡asdr-miu.990039008540106381
035 ‡z(MiU)MIU01000000000000003900854-goog
035 ‡a(OCoLC)244121972
035 ‡z(MiU)Aleph003900854
040 ‡aMiU ‡cMiU
050 1 4 ‡aQA76.9.D5 ‡bI573
111 2 ‡aInternational Conference on Formal Methods for Open Object-Based Distributed Systems.
245 1 0 ‡aFormal methods for open object-based distributed systems : ‡b... IFIP WG 6.1 International Conference, FMOODS ... : proceedings.
246 3 0 ‡aProceedings
246 3 0 ‡aFMOODS ...
246 3 0 ‡aFormal methods for open object-based distributed systems
260 ‡aBerlin ; ‡aNew York : ‡bSpringer
300 ‡av. : ‡bill. ; ‡c24 cm.
310 ‡aIrregular (annual)
490 0 ‡aLecture notes in computer science
500 ‡aLatest issue consulted: 7th (June 15-17, 2005).
500 ‡aDescription based on: 6th (Nov. 19-21, 2003).
538 ‡aMode of access: Internet.
650 0 ‡aObject-oriented programming (Computer science) ‡vCongresses.
650 0 ‡aElectronic data processing ‡xDistributed processing ‡vCongresses.
710 2 ‡aIFIP Working Group 6.1.
899 ‡a39015058265920 ‡c2003
CID ‡a003900854
DAT 0 ‡a20240916140141.0 ‡b20240917000000.0
DAT 1 ‡a20240917060645.0 ‡b2024-09-17T13:51:20Z
DAT 2 ‡a2024-01-04T18:30:02Z
CAT ‡aSDR-MIU ‡cmiu ‡dALMA ‡lprepare.pl-004-008
FMT ‡aSE
HOL ‡0sdr-miu.990039008540106381 ‡aMiU ‡bSDR ‡cMIU ‡f003900854 ‡pmdp.39015058265920 ‡sMIU ‡z2003 ‡1990039008540106381
974 ‡bMIU ‡cMIU ‡d20240917 ‡sgoogle ‡umdp.39015058265920 ‡z2003 ‡y2003 ‡ric ‡qbib ‡tnon-US serial item date >= 1930
974 ‡bMIU ‡cMIU ‡d20240917 ‡sgoogle ‡umdp.39015058761647 ‡z2005 ‡y2005 ‡ric ‡qbib ‡tnon-US serial item date >= 1930