Formal methods and software engineering : 15th international conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88...

Celý popis

Uloženo v:

Podrobná bibliografie
Další autoři:	Groves, Lindsay (Editor) Sun, Jing (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	ICFEM 2013 (15. Queenstown, Nový Zéland)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg : Springer, 2013
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-41202-8 978-3-642-41201-1
Témata:	informatika programování softwarové inženýrství algoritmizace
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!


LEADER	03003nam a22005297i 4500
001	001815759
003	CZ PrSTK
005	20200915144924.0
006	m f d
007	cr nn 008mamaa
008	131021t20132013gw a f 101 0 eng d
020			\|a 978-3-642-41202-8 \|q (elektronická kniha)
020			\|z 978-3-642-41201-1 \|q (brožováno)
024	7		\|a 10.1007/978-3-642-41202-8 \|2 doi
040			\|a DE-He213 \|b cze \|d ABA013 \|e rda
072		7	\|a 004 \|x Počítačová věda. Výpočetní technika. Informační technologie \|2 Konspekt \|9 23
080			\|a 007+004 \|2 MRF
080			\|a 004.42 \|2 MRF
080			\|a 004.41 \|2 MRF
080			\|a 004.421 \|2 MRF
080			\|a (0.034.2:08) \|2 MRF
080			\|a (062.534) \|2 MRF
111	2		\|a ICFEM 2013 \|n (15. \|c Queenstown, Nový Zéland)
245	1	0	\|a Formal methods and software engineering : \|b 15th international conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings / \|c Lindsay Groves, Jing Sun (Eds.)
264		1	\|a Berlin ; \|a Heidelberg : \|b Springer, \|c [2013]
264		4	\|a ©2013
300			\|a 1 online zdroj (XVIII, 466 stran) : \|b ilustrace
336			\|a text \|b txt \|2 rdacontent
337			\|a počítač \|b c \|2 rdamedia
338			\|a online zdroj \|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science, \|x 0302-9743 ; \|v 8144
504			\|a Obsahuje bibliografie a rejstřík
520			\|a This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
650	0	7	\|a informatika \|x if \|7 psh6548 \|2 psh
650	0	7	\|a programování \|x vt \|7 psh12467 \|2 psh
650	0	7	\|a softwarové inženýrství \|x if \|7 psh6634 \|2 psh
650	0	7	\|a algoritmizace \|x vt \|7 psh12472 \|2 psh
655		7	\|a elektronické knihy \|7 fd186907 \|2 czenas
655		7	\|a sborníky konferencí \|7 fd133333 \|2 czenas
700	1		\|a Groves, Lindsay \|4 edt
700	1		\|a Sun, Jing \|4 edt
710	2		\|a SpringerLink (online služba) \|7 ntk2018999494 \|4 dst
776	0	8	\|i Tištěné vydání: \|t Formal methods and software engineering : 15th international conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings \|z 978-3-642-41201-1
830		0	\|a Lecture notes in computer science
856	4	0	\|u https://doi.org/10.1007/978-3-642-41202-8 \|y Plný text
910			\|a ABA013
950			\|a Springer \|b Lecture Notes in Computer Science 2017