| LDR | 01248nam a22003131a 4500 | ||
| 001 | 000671350 | ||
| 003 | MiAaHDL | ||
| 005 | 20210817000000.0 | ||
| 006 | m d | ||
| 007 | cr bn ---auaua | ||
| 008 | 880719s1986 wb a b 10000 eng d | ||
| 020 | ⊔ | ⊔ | ‡a0387164448 |
| 035 | ⊔ | ⊔ | ‡a(MiU)990006713500106381 |
| 035 | ⊔ | ⊔ | ‡asdr-miu.990006713500106381 |
| 035 | ⊔ | ⊔ | ‡a(OCoLC)17384515 |
| 035 | ⊔ | ⊔ | ‡a(CaOTULAS)160659496 |
| 035 | ⊔ | ⊔ | ‡a(RLIN)MIUG86-B132784 |
| 035 | ⊔ | ⊔ | ‡z(MiU)Aleph000671350 |
| 040 | ⊔ | ⊔ | ‡aNNC ‡cNNC |
| 245 | 0 | 0 | ‡aMathematical methods of specification and synthesis of software systems '85 : ‡bproceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 / ‡cedited by W. Bibel and K.P. Jantke. |
| 260 | ⊔ | ⊔ | ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡cc1986. |
| 300 | ⊔ | ⊔ | ‡a245 p. : ‡bill. ; ‡c25 cm. |
| 490 | 0 | ⊔ | ‡aLecture notes in computer science. ‡v215 |
| 504 | ⊔ | ⊔ | ‡aIncludes bibliographies. |
| 538 | ⊔ | ⊔ | ‡aMode of access: Internet. |
| 650 | ⊔ | 0 | ‡aAlgebra, Universal ‡xCongresses. |
| 650 | ⊔ | 0 | ‡aLogic, Symbolic and mathematical ‡vCongresses. |
| 650 | ⊔ | 0 | ‡aComputer programming ‡vCongresses. |
| 650 | ⊔ | 0 | ‡aComputer programs ‡xCongresses. |
| 700 | 1 | ⊔ | ‡aJantke, K. P. ‡q(Klaus P.) |
| 700 | 1 | ⊔ | ‡aBibel, W., ‡d1938- |
| 740 | 0 | ⊔ | ‡aSoftware systems '85. |
| 740 | 0 | ⊔ | ‡aSpecification and synthesis of software systems '85. |
| CID | ⊔ | ⊔ | ‡a000671350 |
| DAT | 0 | ⊔ | ‡a19990430000000.0 ‡b20210817000000.0 |
| DAT | 1 | ⊔ | ‡a20210928182847.0 ‡b2024-08-28T17:41:16Z |
| DAT | 2 | ⊔ | ‡a2024-08-28T17:30:02Z |
| CAT | ⊔ | ⊔ | ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008 |
| FMT | ⊔ | ⊔ | ‡aBK |
| HOL | ⊔ | ⊔ | ‡0sdr-miu.990006713500106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015011158758 ‡sMIU ‡1990006713500106381 |
| 974 | ⊔ | ⊔ | ‡bMIU ‡cMIU ‡d20240828 ‡sgoogle ‡umdp.39015011158758 ‡y1986 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929 |