Verfügbarkeit: Embedded systems design based on formal models of computation

Embedded systems design based on formal models of computation:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Radojevic, Ivan (VerfasserIn), Salcic, Zoran (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Dordrecht [u.a.] Springer 2011
Schlagworte:	Ingenieurwissenschaften Engineering Software engineering Engineering, general Special Purpose and Application-Based Systems Eingebettetes System Programmierung Formale Methode
Online-Zugang:	BTU01 FAB01 FHA01 FHI01 FHN01 FHR01 FKE01 FWS01 FWS02 Volltext
Beschreibung:	1 Online-Ressource
ISBN:	9789400715943
DOI:	10.1007/978-94-007-1594-3

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV040125542
003	DE-604
005	20121116
007	cr\|uuu---uuuuu
008	120509s2011 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9789400715943 \|c Online \|9 978-94-007-1594-3
024	7		\|a 10.1007/978-94-007-1594-3 \|2 doi
035			\|a (OCoLC)746258564
035			\|a (DE-599)BVBBV040125542
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-863 \|a DE-862 \|a DE-634 \|a DE-898 \|a DE-Aug4 \|a DE-92 \|a DE-1043 \|a DE-859 \|a DE-573
084			\|a ST 153 \|0 (DE-625)143597: \|2 rvk
100	1		\|a Radojevic, Ivan \|e Verfasser \|4 aut
245	1	0	\|a Embedded systems design based on formal models of computation \|c Ivan Radojevic ; Zoran Salcic
264		1	\|a Dordrecht [u.a.] \|b Springer \|c 2011
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
650		4	\|a Ingenieurwissenschaften
650		4	\|a Engineering
650		4	\|a Software engineering
650		4	\|a Engineering, general
650		4	\|a Special Purpose and Application-Based Systems
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
689	0	0	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	0	1	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	0	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Salcic, Zoran \|e Verfasser \|4 aut
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-94-007-1593-6
856	4	0	\|u https://doi.org/10.1007/978-94-007-1594-3 \|x Verlag \|3 Volltext
912			\|a ZDB-2-ENG
999			\|a oai:aleph.bib-bvb.de:BVB01-024982826
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l BTU01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FAB01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FHA01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FHI01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FHN01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FHR01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FKE01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FWS01 \|p ZDB-2-ENG \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-94-007-1594-3 \|l FWS02 \|p ZDB-2-ENG \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-FWS_katkey	436369
_version_	1806178087845494784
any_adam_object
author	Radojevic, Ivan Salcic, Zoran
author_facet	Radojevic, Ivan Salcic, Zoran
author_role	aut aut
author_sort	Radojevic, Ivan
author_variant	i r ir z s zs
building	Verbundindex
bvnumber	BV040125542
classification_rvk	ST 153
collection	ZDB-2-ENG
ctrlnum	(OCoLC)746258564 (DE-599)BVBBV040125542
discipline	Informatik
doi_str_mv	10.1007/978-94-007-1594-3
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02583nmm a2200577zc 4500</leader><controlfield tag="001">BV040125542</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121116 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">120509s2011 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400715943</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-007-1594-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-007-1594-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)746258564</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040125542</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Radojevic, Ivan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Embedded systems design based on formal models of computation</subfield><subfield code="c">Ivan Radojevic ; Zoran Salcic</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Salcic, Zoran</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-94-007-1593-6</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-007-1594-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024982826</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-1594-3</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</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/978-94-007-1594-3</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV040125542
illustrated	Not Illustrated
indexdate	2024-08-01T11:47:33Z
institution	BVB
isbn	9789400715943
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024982826
oclc_num	746258564
open_access_boolean
owner	DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-634 DE-898 DE-BY-UBR DE-Aug4 DE-92 DE-1043 DE-859 DE-573
owner_facet	DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-634 DE-898 DE-BY-UBR DE-Aug4 DE-92 DE-1043 DE-859 DE-573
physical	1 Online-Ressource
psigel	ZDB-2-ENG
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
spellingShingle	Radojevic, Ivan Salcic, Zoran Embedded systems design based on formal models of computation Ingenieurwissenschaften Engineering Software engineering Engineering, general Special Purpose and Application-Based Systems Eingebettetes System (DE-588)4396978-1 gnd Programmierung (DE-588)4076370-5 gnd Formale Methode (DE-588)4333722-3 gnd
subject_GND	(DE-588)4396978-1 (DE-588)4076370-5 (DE-588)4333722-3
title	Embedded systems design based on formal models of computation
title_auth	Embedded systems design based on formal models of computation
title_exact_search	Embedded systems design based on formal models of computation
title_full	Embedded systems design based on formal models of computation Ivan Radojevic ; Zoran Salcic
title_fullStr	Embedded systems design based on formal models of computation Ivan Radojevic ; Zoran Salcic
title_full_unstemmed	Embedded systems design based on formal models of computation Ivan Radojevic ; Zoran Salcic
title_short	Embedded systems design based on formal models of computation
title_sort	embedded systems design based on formal models of computation
topic	Ingenieurwissenschaften Engineering Software engineering Engineering, general Special Purpose and Application-Based Systems Eingebettetes System (DE-588)4396978-1 gnd Programmierung (DE-588)4076370-5 gnd Formale Methode (DE-588)4333722-3 gnd
topic_facet	Ingenieurwissenschaften Engineering Software engineering Engineering, general Special Purpose and Application-Based Systems Eingebettetes System Programmierung Formale Methode
url	https://doi.org/10.1007/978-94-007-1594-3
work_keys_str_mv	AT radojevicivan embeddedsystemsdesignbasedonformalmodelsofcomputation AT salciczoran embeddedsystemsdesignbasedonformalmodelsofcomputation

Verfügbarkeit

Volltext öffnen

MARC

Datensatz im Suchindex

Ähnliche Einträge