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