000			02274naaaa2200517uu 4500
001			http://library.oapen.org/handle/20.500.12657/27803
005			20230323120735.0
003			oapen
006			m o d
007			cr|mn|---annan
008			20181101s2018 xx |||||o ||| 0|eng d
020			_a978-3-319-89363-1
020			_a9783319893631
040			_aoapen _coapen
024	7		_a10.1007/978-3-319-89363-1 _cdoi
041	0		_aeng
042			_adc
072		7	_aUY _2bicssc
100	1		_aRusso, Alessandra _4edt
700	1		_aSchürr, Andy _4edt
700	1		_aRusso, Alessandra _4oth
700	1		_aSchürr, Andy _4oth
245	1	0	_aFundamental Approaches to Software Engineering _b21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
260			_aCham _bSpringer Nature _c2018
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aTheoretical Computer Science and General Issues _v10802
506	0		_aOpen Access _2star _fUnrestricted online access
520			_acomputer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
540			_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0/ _2cc _4https://creativecommons.org/licenses/by/4.0/
546			_aEnglish
650		7	_aComputer science _2bicssc
653			_acomputer software maintenance
653			_acomputer software selection and evaluation
653			_aformal logic
653			_aformal methods
653			_aformal specification
653			_aprogramming languages
653			_asemantics
653			_asoftware engineering
653			_aspecifications
653			_averification
856	4	0	_awww.oapen.org _uhttps://library.oapen.org/bitstream/id/47043dcd-bcd8-4023-b8bb-70323787d19b/1002202.pdf _70 _zOAPEN Library: download the publication
856	4	0	_awww.oapen.org _uhttp://library.oapen.org/handle/20.500.12657/27803 _70 _zOAPEN Library: description of the publication
999			_c6189 _d6189
909			_a4 _bDarya Shvetsova _c4 _dDarya Shvetsova