000 | 05065nam a2200961 u 4500 | ||
---|---|---|---|
001 | 043453252 | ||
003 | DE-627 | ||
005 | 20231009145017.0 | ||
007 | tu | ||
008 | 950805s1994 gw ||||| 00| ||eng c | ||
013 | _a164289542 | ||
013 | _a272034118 | ||
015 |
_a94,N40,0186 _2dnb |
||
016 | 7 |
_a942177762 _2DE-101 |
|
020 |
_a0387585559 _90-387-58555-9 |
||
020 |
_a3540585559 _93-540-58555-9 |
||
035 | _a(DE-627)043453252 | ||
035 | _a(DE-576)041968824 | ||
035 | _a(DE-599)GBV043453252 | ||
035 | _a(OCoLC)246326575 | ||
035 | _a(OCoLC)832254343 | ||
035 | _a(OCoLC)246326575 | ||
035 | _a(OCoLC)311776334 | ||
035 | _a(OCoLC)246326575 | ||
035 | _a(ZBM)0802.00034 | ||
035 | _a(ZBM)0802.00034 | ||
040 |
_aDE-627 _bger _cDE-627 _erakwb |
||
041 | _aeng | ||
044 |
_cXA-DE _cXD-US _cXA-GB |
||
050 | 0 | _aQA76.76.D47 | |
084 |
_a28 _2sdnb |
||
084 |
_aSS 4800 _2rvk _0(DE-625)rvk/143528: |
||
084 |
_aST 230 _2rvk _0(DE-625)rvk/143617: |
||
084 |
_aSS 1994 _2rvk _0(DE-625)rvk/143431: |
||
084 |
_a*00B25 _2msc |
||
084 |
_a68-06 _2msc |
||
084 |
_a54.52 _2bkl |
||
090 | _aa | ||
092 | _aSa 18 | ||
245 | 1 | 0 |
_aIndustrial benefit of formal methods _bBarcelona, Spain, October 24 - 28, 1994; proceedings _cFME '94, Second International Symposium of Formal Methods Europe. Maurice Naftalin ... (eds.) |
264 | 1 |
_aBerlin _aHeidelberg [u.a.] _bSpringer _c1994 |
|
300 |
_aXI, 723 S. _bgraph. Darst. |
||
336 |
_aText _btxt _2rdacontent |
||
337 |
_aohne Hilfsmittel zu benutzen _bn _2rdamedia |
||
338 |
_aBand _bnc _2rdacarrier |
||
490 | 1 |
_aLecture notes in computer science _v873 |
|
500 | _aLiteraturang | ||
580 | _aFME '94: industrial benefit of formal methods | ||
580 | _aNaftalin, Maurice: FME '94: Industrial Benefit of Formal Methods | ||
583 | 1 |
_aArchivierung/Langzeitarchivierung gewährleistet _fPEBW _2pdager _5DE-31 |
|
653 | 0 |
_aComputer software _aDevelopment _aCongresses |
|
655 | 7 |
_aKonferenzschrift _y1994 _zBarcelona _0(DE-588)1071861417 _0(DE-627)826484824 _0(DE-576)433375485 _2gnd-content |
|
655 | 7 |
_aKonferenzschrift _y1992 _zBarcelona _0(DE-588)1071861417 _0(DE-627)826484824 _0(DE-576)433375485 _2gnd-content |
|
655 | 7 |
_aKonferenzschrift _0(DE-588)1071861417 _0(DE-627)826484824 _0(DE-576)433375485 _2gnd-content |
|
689 | 0 | 0 |
_Ds _0(DE-588)4126945-7 _0(DE-627)104636866 _0(DE-576)209589426 _aSystementwicklung _2gnd |
689 | 0 | 1 |
_Ds _0(DE-588)4333722-3 _0(DE-627)148061516 _0(DE-576)21134253X _aFormale Methode _2gnd |
689 | 0 | _5DE-101 | |
689 | 1 | 0 |
_Ds _0(DE-588)4116522-6 _0(DE-627)104616369 _0(DE-576)209502258 _aSoftwareentwicklung _2gnd |
689 | 1 | 1 |
_Ds _0(DE-588)4333722-3 _0(DE-627)148061516 _0(DE-576)21134253X _aFormale Methode _2gnd |
689 | 1 | _5DE-101 | |
700 | 1 |
_aNaftalin, Maurice _eHrsg. _4edt |
|
711 | 2 |
_aFME _n2 _d1994 _cBarcelona _0(DE-588)2140024-6 _0(DE-627)171530470 _0(DE-576)194939367 _4oth _919196 |
|
775 | 0 | _aOnline-Ausg.: / FME '94: industrial benefit of formal methods | |
775 | 0 | _aOnline-Ausg.: / Naftalin, Maurice: FME '94: Industrial Benefit of Formal Methods | |
776 | 0 | 8 |
_iOnline-Ausg. _aNaftalin, Maurice _tFME '94: Industrial Benefit of Formal Methods _dBerlin, Heidelberg : Springer Berlin Heidelberg, 1994 _hOnline-Ressource _w(DE-627)1649311559 _w(DE-576)322907535 _z9783540490319 |
776 | 0 | 8 |
_iOnline-Ausg. _tFME '94: industrial benefit of formal methods _dBerlin [u.a.] : Springer, 1994 _hOnline-Ressource (XI, 723 S.) _w(DE-627)595124704 |
800 | _v87300 | ||
830 | 0 |
_aLecture notes in computer science _w(DE-627)129300152 _w(DE-576)014492687 _w(DE-600)121909-1 _x0302-9743 _7ns _v873 |
|
856 | 4 | 2 |
_uhttps://swbplus.bsz-bw.de/bsz041968824cov.jpg _mV:DE-576 _mX:springer _qimage/jpeg _v20150910142325 _3Cover |
856 | 4 | 2 |
_uhttps://zbmath.org/?q=an:0802.00034 _mB:ZBM _v2021-04-12 _yZentralblatt MATH _3Inhaltstext |
889 | _w(DE-627)164289542 | ||
889 | _w(DE-627)272034118 | ||
935 | _imdedup | ||
935 | _iBlocktest | ||
935 | _isf | ||
936 | r | v |
_aSS 4800 _bLecture notes in computer science _kEnzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen _kSchriftenreihen (indiv. Sign.) _kLecture notes in computer science _0(DE-627)1271461242 _0(DE-625)rvk/143528: _0(DE-576)201461242 |
936 | r | v |
_aST 230 _bSoftware allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge _kMonografien _kSoftware und -entwicklung _kSoftware allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge _0(DE-627)1270877534 _0(DE-625)rvk/143617: _0(DE-576)200877534 |
936 | r | v |
_aSS 1994 _bVeranstaltungsjahr 1994 _kEnzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen _kKongressberichte _kVeranstaltungsjahr 1994 _0(DE-627)1271485842 _0(DE-625)rvk/143431: _0(DE-576)201485842 |
936 | b | k |
_a54.52 _jSoftware engineering _0(DE-627)106418882 |
942 | _cBOOK | ||
951 | _aBO | ||
999 |
_c25340 _d25340 |