Verfügbarkeit: Logik für Software-Ingenieure

Logik für Software-Ingenieure:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Matthiessen, Günter (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	German
Veröffentlicht:	Berlin ; Boston De Gruyter [2019]
Ausgabe:	Reprint 2019
Schriftenreihe:	Programmierung Komplexer Systeme / Programming Complex Systems 3
Schlagworte:	COMPUTERS / General Informatik Software Software Engineering Logik Logische Programmierung Mathematische Logik
Online-Zugang:	FAW01 FHA01 FKE01 FLA01 UPA01 UBG01 FAB01 FCO01 UBM01 UBT01 UBY01 Volltext
Beschreibung:	Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Jul 2019)
Beschreibung:	1 online resource (292 pages)
ISBN:	9783110860221
DOI:	10.1515/9783110860221

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV046089102
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	190806s2019 \|\|\|\| o\|\|u\| \|\|\|\|\|\|ger d
020			\|a 9783110860221 \|9 978-3-11-086022-1
024	7		\|a 10.1515/9783110860221 \|2 doi
035			\|a (ZDB-23-DGG)9783110860221
035			\|a (OCoLC)1199698109
035			\|a (DE-599)BVBBV046089102
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
049			\|a DE-1046 \|a DE-Aug4 \|a DE-859 \|a DE-860 \|a DE-739 \|a DE-473 \|a DE-1043 \|a DE-858 \|a DE-19 \|a DE-703 \|a DE-706
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
100	1		\|a Matthiessen, Günter \|e Verfasser \|4 aut
245	1	0	\|a Logik für Software-Ingenieure \|c Günter Matthiessen
250			\|a Reprint 2019
264		1	\|a Berlin ; Boston \|b De Gruyter \|c [2019]
264		4	\|c © 1991
300			\|a 1 online resource (292 pages)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Programmierung Komplexer Systeme / Programming Complex Systems \|v 3
500			\|a Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Jul 2019)
546			\|a In German
650		7	\|a COMPUTERS / General \|2 bisacsh
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software \|0 (DE-588)4055382-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Software \|0 (DE-588)4055382-6 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1	1	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2	1	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	2		\|8 3\p \|5 DE-604
689	3	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	3	1	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	3		\|8 4\p \|5 DE-604
689	4	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	4		\|8 5\p \|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9783110122282
856	4	0	\|u https://doi.org/10.1515/9783110860221 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-23-DGG \|a ZDB-23-GPS \|a ZDB-23-GBA
940	1		\|q ZDB-23-GPS_1990/1999
999			\|a oai:aleph.bib-bvb.de:BVB01-031470104
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 5\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1515/9783110860221 \|l FAW01 \|p ZDB-23-DGG \|q FAW_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l FHA01 \|p ZDB-23-DGG \|q FHA_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l FKE01 \|p ZDB-23-DGG \|q FKE_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l FLA01 \|p ZDB-23-DGG \|q FLA_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l UPA01 \|p ZDB-23-DGG \|q UPA_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l UBG01 \|p ZDB-23-DGG \|q UBG_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l FAB01 \|p ZDB-23-DGG \|q FAB_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l FCO01 \|p ZDB-23-DGG \|q FCO_PDA_DGG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l UBM01 \|p ZDB-23-GBA \|q ZDB-23-GBA_1990/1999 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l UBT01 \|p ZDB-23-GPS \|q ZDB-23-GPS_1990/1999 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1515/9783110860221 \|l UBY01 \|p ZDB-23-GBA \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804180386275655680
any_adam_object
author	Matthiessen, Günter
author_facet	Matthiessen, Günter
author_role	aut
author_sort	Matthiessen, Günter
author_variant	g m gm
building	Verbundindex
bvnumber	BV046089102
classification_rvk	SK 130 ST 120 ST 125 ST 230
collection	ZDB-23-DGG ZDB-23-GPS ZDB-23-GBA
ctrlnum	(ZDB-23-DGG)9783110860221 (OCoLC)1199698109 (DE-599)BVBBV046089102
discipline	Informatik Mathematik
doi_str_mv	10.1515/9783110860221
edition	Reprint 2019
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04262nmm a2200877zcb4500</leader><controlfield tag="001">BV046089102</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">190806s2019 \|\|\|\| o\|\|u\| \|\|\|\|\|\|ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110860221</subfield><subfield code="9">978-3-11-086022-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110860221</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9783110860221</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1199698109</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046089102</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Matthiessen, Günter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik für Software-Ingenieure</subfield><subfield code="c">Günter Matthiessen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Reprint 2019</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Boston</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (292 pages)</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="0" ind2=" "><subfield code="a">Programmierung Komplexer Systeme / Programming Complex Systems</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Jul 2019)</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783110122282</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110860221</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="a">ZDB-23-GPS</subfield><subfield code="a">ZDB-23-GBA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-GPS_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031470104</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110860221</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAW_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FHA_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FKE_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FLA_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UPA_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UBG_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAB_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FCO_PDA_DGG</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.1515/9783110860221</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-23-GBA</subfield><subfield code="q">ZDB-23-GBA_1990/1999</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.1515/9783110860221</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-23-GPS</subfield><subfield code="q">ZDB-23-GPS_1990/1999</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.1515/9783110860221</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-23-GBA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV046089102
illustrated	Not Illustrated
indexdate	2024-07-10T08:34:56Z
institution	BVB
isbn	9783110860221
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031470104
oclc_num	1199698109
open_access_boolean
owner	DE-1046 DE-Aug4 DE-859 DE-860 DE-739 DE-473 DE-BY-UBG DE-1043 DE-858 DE-19 DE-BY-UBM DE-703 DE-706
owner_facet	DE-1046 DE-Aug4 DE-859 DE-860 DE-739 DE-473 DE-BY-UBG DE-1043 DE-858 DE-19 DE-BY-UBM DE-703 DE-706
physical	1 online resource (292 pages)
psigel	ZDB-23-DGG ZDB-23-GPS ZDB-23-GBA ZDB-23-GPS_1990/1999 ZDB-23-DGG FAW_PDA_DGG ZDB-23-DGG FHA_PDA_DGG ZDB-23-DGG FKE_PDA_DGG ZDB-23-DGG FLA_PDA_DGG ZDB-23-DGG UPA_PDA_DGG ZDB-23-DGG UBG_PDA_DGG ZDB-23-DGG FAB_PDA_DGG ZDB-23-DGG FCO_PDA_DGG ZDB-23-GBA ZDB-23-GBA_1990/1999 ZDB-23-GPS ZDB-23-GPS_1990/1999
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	De Gruyter
record_format	marc
series2	Programmierung Komplexer Systeme / Programming Complex Systems
spelling	Matthiessen, Günter Verfasser aut Logik für Software-Ingenieure Günter Matthiessen Reprint 2019 Berlin ; Boston De Gruyter [2019] © 1991 1 online resource (292 pages) txt rdacontent c rdamedia cr rdacarrier Programmierung Komplexer Systeme / Programming Complex Systems 3 Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Jul 2019) In German COMPUTERS / General bisacsh Informatik (DE-588)4026894-9 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Software (DE-588)4055382-6 s Logik (DE-588)4036202-4 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s Software Engineering (DE-588)4116521-4 s 2\p DE-604 Informatik (DE-588)4026894-9 s 3\p DE-604 4\p DE-604 Logische Programmierung (DE-588)4195096-3 s 5\p DE-604 Erscheint auch als Druck-Ausgabe 9783110122282 https://doi.org/10.1515/9783110860221 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Matthiessen, Günter Logik für Software-Ingenieure COMPUTERS / General bisacsh Informatik (DE-588)4026894-9 gnd Software (DE-588)4055382-6 gnd Software Engineering (DE-588)4116521-4 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4026894-9 (DE-588)4055382-6 (DE-588)4116521-4 (DE-588)4036202-4 (DE-588)4195096-3 (DE-588)4037951-6
title	Logik für Software-Ingenieure
title_auth	Logik für Software-Ingenieure
title_exact_search	Logik für Software-Ingenieure
title_full	Logik für Software-Ingenieure Günter Matthiessen
title_fullStr	Logik für Software-Ingenieure Günter Matthiessen
title_full_unstemmed	Logik für Software-Ingenieure Günter Matthiessen
title_short	Logik für Software-Ingenieure
title_sort	logik fur software ingenieure
topic	COMPUTERS / General bisacsh Informatik (DE-588)4026894-9 gnd Software (DE-588)4055382-6 gnd Software Engineering (DE-588)4116521-4 gnd Logik (DE-588)4036202-4 gnd Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	COMPUTERS / General Informatik Software Software Engineering Logik Logische Programmierung Mathematische Logik
url	https://doi.org/10.1515/9783110860221
work_keys_str_mv	AT matthiessengunter logikfursoftwareingenieure

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