Verfügbarkeit: Refinement techniques in software engineering

Refinement techniques in software engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2006
Schriftenreihe:	Lecture notes in computer science 3167 : Tutorial
Schlagworte:	Verfeinerung Software Engineering Konferenzschrift > 2004 > Recife
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-355 DE-706 DE-739 Volltext
Beschreibung:	1 Online-Ressource (X, 391 S.) graph. Darst.
ISBN:	3540462538 9783540462538
DOI:	10.1007/11889229

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV022444679
003	DE-604
005	20070608
007	cr\|uuu---uuuuu
008	070530s2006 gw d\|\|\| o\|\|\|\| 00\|\|\| eng d
015			\|a 06,N38,0037 \|2 dnb
020			\|a 3540462538 \|c : EUR 53.50 (freier Pr.), sfr 88.50 (freier Pr.) \|9 3-540-46253-8
020			\|a 9783540462538 \|c : EUR 53.50 (freier Pr.), sfr 88.50 (freier Pr.) \|9 978-3-540-46253-8
024	7		\|a 10.1007/11889229 \|2 doi
024	3		\|a 9783540462538
028	5	2	\|a 11889229
035			\|a (OCoLC)255676836
035			\|a (DE-599)BVBBV022444679
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-19 \|a DE-91 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 005.1
084			\|a DAT 000 \|2 stub
245	1	0	\|a Refinement techniques in software engineering \|b First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures \|c Ana Cavalcanti ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2006
300			\|a 1 Online-Ressource (X, 391 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 3167 : Tutorial
650	0	7	\|a Verfeinerung \|0 (DE-588)4267759-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2004 \|z Recife \|2 gnd-content
689	0	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	1	\|a Verfeinerung \|0 (DE-588)4267759-2 \|D s
689	0		\|5 DE-604
700	1		\|a Cavalcanti, Ana \|e Sonstige \|4 oth
711	2		\|a Pernambuco Summer School on Software Engineering \|n 1 \|d 2004 \|c Recife \|j Sonstige \|0 (DE-588)6512803-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 3167 : Tutorial \|w (DE-604)BV014880109 \|9 3167
856	4	0	\|u https://doi.org/10.1007/11889229 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015652669
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/11889229 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875011095789568
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022444679
classification_rvk	SS 4800
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255676836 (DE-599)BVBBV022444679
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/11889229
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV022444679</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070608</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070530s2006 gw d\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,N38,0037</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540462538</subfield><subfield code="c">: EUR 53.50 (freier Pr.), sfr 88.50 (freier Pr.)</subfield><subfield code="9">3-540-46253-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540462538</subfield><subfield code="c">: EUR 53.50 (freier Pr.), sfr 88.50 (freier Pr.)</subfield><subfield code="9">978-3-540-46253-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/11889229</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540462538</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11889229</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255676836</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022444679</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Refinement techniques in software engineering</subfield><subfield code="b">First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures</subfield><subfield code="c">Ana Cavalcanti ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 391 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3167 : Tutorial</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2004</subfield><subfield code="z">Recife</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cavalcanti, Ana</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Pernambuco Summer School on Software Engineering</subfield><subfield code="n">1</subfield><subfield code="d">2004</subfield><subfield code="c">Recife</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6512803-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">3167 : Tutorial</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3167</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015652669</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/11889229</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2004 Recife gnd-content
genre_facet	Konferenzschrift 2004 Recife
id	DE-604.BV022444679
illustrated	Illustrated
index_date	2024-07-02T17:33:59Z
indexdate	2025-01-10T15:08:51Z
institution	BVB
institution_GND	(DE-588)6512803-5
isbn	3540462538 9783540462538
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015652669
oclc_num	255676836
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 391 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures Ana Cavalcanti ... (eds.) Berlin [u.a.] Springer 2006 1 Online-Ressource (X, 391 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 3167 : Tutorial Verfeinerung (DE-588)4267759-2 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2004 Recife gnd-content Software Engineering (DE-588)4116521-4 s Verfeinerung (DE-588)4267759-2 s DE-604 Cavalcanti, Ana Sonstige oth Pernambuco Summer School on Software Engineering 1 2004 Recife Sonstige (DE-588)6512803-5 oth Lecture notes in computer science 3167 : Tutorial (DE-604)BV014880109 3167 https://doi.org/10.1007/11889229 Verlag Volltext
spellingShingle	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures Lecture notes in computer science Verfeinerung (DE-588)4267759-2 gnd Software Engineering (DE-588)4116521-4 gnd
subject_GND	(DE-588)4267759-2 (DE-588)4116521-4 (DE-588)1071861417
title	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures
title_auth	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures
title_exact_search	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures
title_exact_search_txtP	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures
title_full	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures Ana Cavalcanti ... (eds.)
title_fullStr	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures Ana Cavalcanti ... (eds.)
title_full_unstemmed	Refinement techniques in software engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures Ana Cavalcanti ... (eds.)
title_short	Refinement techniques in software engineering
title_sort	refinement techniques in software engineering first pernambuco summer school on software engineering psse 2004 receife brazil november 23 december 5 2004 revised lectures
title_sub	First Pernambuco Summer School on Software Engineering, PSSE 2004, Receife, Brazil, November 23-December 5, 2004 ; revised lectures
topic	Verfeinerung (DE-588)4267759-2 gnd Software Engineering (DE-588)4116521-4 gnd
topic_facet	Verfeinerung Software Engineering Konferenzschrift 2004 Recife
url	https://doi.org/10.1007/11889229
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT cavalcantiana refinementtechniquesinsoftwareengineeringfirstpernambucosummerschoolonsoftwareengineeringpsse2004receifebrazilnovember23december52004revisedlectures AT pernambucosummerschoolonsoftwareengineeringrecife refinementtechniquesinsoftwareengineeringfirstpernambucosummerschoolonsoftwareengineeringpsse2004receifebrazilnovember23december52004revisedlectures

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge