Verfügbarkeit: Programming Languages and Operational Semantics

Programming Languages and Operational Semantics: A Concise Overview

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Fernández, Maribel (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	London ; s.l. Springer London 2014 Imprint: Springer
Schriftenreihe:	Undergraduate Topics in Computer Science
Schlagwörter:	Logischer Entwurf Informationstheorie Operationale Semantik Programmiersprache Software Engineering Compiler Informatik
Links:	https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 https://doi.org/10.1007/978-1-4471-6368-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	1 Online-Ressource (IX, 209 p.) Ill.
ISBN:	9781447163688
DOI:	10.1007/978-1-4471-6368-8

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV041781931
003	DE-604
005	20140819
007	cr\|uuu---uuuuu
008	140407s2014 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9781447163688 \|c Online \|9 978-1-4471-6368-8
024	7		\|a 10.1007/978-1-4471-6368-8 \|2 doi
035			\|a (OCoLC)875581224
035			\|a (DE-599)BVBBV041781931
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-703 \|a DE-20 \|a DE-92 \|a DE-859 \|a DE-M347 \|a DE-473 \|a DE-522 \|a DE-861 \|a DE-Aug4 \|a DE-29 \|a DE-634 \|a DE-739 \|a DE-355
084			\|a ST 200 \|0 (DE-625)143611: \|2 rvk
084			\|a ST 250 \|0 (DE-625)143626: \|2 rvk
084			\|a ST 140 \|0 (DE-625)143592: \|2 rvk
100	1		\|a Fernández, Maribel \|e Verfasser \|0 (DE-588)1052229956 \|4 aut
245	1	0	\|a Programming Languages and Operational Semantics \|b A Concise Overview \|c by Maribel Fernández
264		1	\|a London ; s.l. \|b Springer London \|c 2014
264		1	\|b Imprint: Springer
300			\|a 1 Online-Ressource (IX, 209 p.) \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Undergraduate Topics in Computer Science
533			\|a Online-Ausgabe \|f Springer eBook Collection / Computer Science
650	0	7	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informationstheorie \|0 (DE-588)4026927-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Operationale Semantik \|0 (DE-588)4221249-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|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 Compiler \|0 (DE-588)4148248-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	2	\|a Informationstheorie \|0 (DE-588)4026927-9 \|D s
689	0	3	\|a Logischer Entwurf \|0 (DE-588)4168051-0 \|D s
689	0	4	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	5	\|a Operationale Semantik \|0 (DE-588)4221249-2 \|D s
689	0	6	\|a Compiler \|0 (DE-588)4148248-7 \|D s
689	0		\|5 DE-604
776	0	8	\|i Reproduktion von \|a Fernández, Maribel \|t Programming Languages and Operational Semantics \|d 2014
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-1-4471-6367-1
856	4	0	\|u https://doi.org/10.1007/978-1-4471-6368-8 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027227718
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-522 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-6368-8 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1819375353821396992
adam_text	PROGRAMMING LANGUAGES AND OPERATIONAL SEMANTICS / FERNANDEZ, MARIBEL : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS INTRODUCTION MATHEMATICAL BACKGROUND GENERAL FEATURES OF IMPERATIVE LANGUAGES OPERATIONAL SEMANTICS OF IMPERATIVE LANGUAGES GENERAL FEATURES OF FUNCTIONAL LANGUAGES OPERATIONAL SEMANTICS OF FUNCTIONAL LANGUAGES GENERAL FEATURES OF LOGIC PROGRAMMING LANGUAGES OPERATIONAL SEMANTICS OF PROLOG ANSWERS TO SELECTED EXERCISES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. PROGRAMMING LANGUAGES AND OPERATIONAL SEMANTICS / FERNANDEZ, MARIBEL : 2014 ABSTRACT / INHALTSTEXT PROVIDING A CONCISE INTRODUCTION TO THE ESSENTIAL CONCEPTS IN PROGRAMMING LANGUAGES, USING TECHNIQUES FROM OPERATIONAL SEMANTICS, THIS BOOK HIGHLIGHTS THREE MAJOR PROGRAMMING PARADIGMS: • IMPERATIVE LANGUAGES: THE MAIN FEATURES OF THESE LANGUAGES ARE ILLUSTRATED WITH EXAMPLES IN JAVA, PYTHON, C; • FUNCTIONAL LANGUAGES: MODERN LANGUAGES SUCH AS ML AND HASKELL ARE USED TO DESCRIBE THE FUNCTIONAL STYLE OF PROGRAMMING; • LOGIC LANGUAGES: THE LAST PART OF THE BOOK GIVES AN OVERVIEW OF LOGIC PROGRAMMING USING PROLOG. FOLLOWING A GENERAL DESCRIPTION OF EACH FAMILY OF LANGUAGES, THEIR SEMANTICS ARE STUDIED USING ABSTRACT MACHINES AND STRUCTURAL OPERATIONAL SEMANTICS. PROGRAMMING LANGUAGES AND OPERATIONAL SEMANTICS GIVES AN IN-DEPTH ANALYSIS OF THE BASIC CONCEPTS IN PROGRAMMING LANGUAGES INSTEAD OF A MERE SURVEY OF LANGUAGES, ASSISTING THE UNDERSTANDING OF THE FUNDAMENTAL NOTIONS IN PROGRAMMING LANGUAGES OVER SIMPLY DESCRIBING THEIR PROPERTIES. IT IS ADDRESSED TO UNDERGRADUATE STUDENTS, AS A COMPLEMENT TO PROGRAMMING COURSES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Fernández, Maribel
author_GND	(DE-588)1052229956
author_facet	Fernández, Maribel
author_role	aut
author_sort	Fernández, Maribel
author_variant	m f mf
building	Verbundindex
bvnumber	BV041781931
classification_rvk	ST 200 ST 250 ST 140
collection	ZDB-2-SCS
ctrlnum	(OCoLC)875581224 (DE-599)BVBBV041781931
discipline	Informatik
doi_str_mv	10.1007/978-1-4471-6368-8
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04153nam a2200745 c 4500</leader><controlfield tag="001">BV041781931</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140819 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140407s2014 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447163688</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-6368-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-6368-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)875581224</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041781931</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-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fernández, Maribel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1052229956</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming Languages and Operational Semantics</subfield><subfield code="b">A Concise Overview</subfield><subfield code="c">by Maribel Fernández</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London ; s.l.</subfield><subfield code="b">Springer London</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="b">Imprint: Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 209 p.)</subfield><subfield code="b">Ill.</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">Undergraduate Topics in Computer Science</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Online-Ausgabe</subfield><subfield code="f">Springer eBook Collection / Computer Science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="2"><subfield code="a">Informationstheorie</subfield><subfield code="0">(DE-588)4026927-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Operationale Semantik</subfield><subfield code="0">(DE-588)4221249-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Reproduktion von</subfield><subfield code="a">Fernández, Maribel</subfield><subfield code="t">Programming Languages and Operational Semantics</subfield><subfield code="d">2014</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-1-4471-6367-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-6368-8</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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-027227718</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-6368-8</subfield><subfield code="l">DE-522</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/978-1-4471-6368-8</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/978-1-4471-6368-8</subfield><subfield code="l">DE-Aug4</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/978-1-4471-6368-8</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/978-1-4471-6368-8</subfield><subfield code="l">DE-92</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/978-1-4471-6368-8</subfield><subfield code="l">DE-859</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/978-1-4471-6368-8</subfield><subfield code="l">DE-861</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/978-1-4471-6368-8</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/978-1-4471-6368-8</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/978-1-4471-6368-8</subfield><subfield code="l">DE-703</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/978-1-4471-6368-8</subfield><subfield code="l">DE-20</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/978-1-4471-6368-8</subfield><subfield code="l">DE-29</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/978-1-4471-6368-8</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>
id	DE-604.BV041781931
illustrated	Illustrated
indexdate	2024-12-20T16:54:55Z
institution	BVB
isbn	9781447163688
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027227718
oclc_num	875581224
open_access_boolean
owner	DE-703 DE-20 DE-92 DE-859 DE-M347 DE-473 DE-BY-UBG DE-522 DE-861 DE-Aug4 DE-29 DE-634 DE-739 DE-355 DE-BY-UBR
owner_facet	DE-703 DE-20 DE-92 DE-859 DE-M347 DE-473 DE-BY-UBG DE-522 DE-861 DE-Aug4 DE-29 DE-634 DE-739 DE-355 DE-BY-UBR
physical	1 Online-Ressource (IX, 209 p.) Ill.
psigel	ZDB-2-SCS
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer London Imprint: Springer
record_format	marc
series2	Undergraduate Topics in Computer Science
spellingShingle	Fernández, Maribel Programming Languages and Operational Semantics A Concise Overview Logischer Entwurf (DE-588)4168051-0 gnd Informationstheorie (DE-588)4026927-9 gnd Operationale Semantik (DE-588)4221249-2 gnd Programmiersprache (DE-588)4047409-4 gnd Software Engineering (DE-588)4116521-4 gnd Compiler (DE-588)4148248-7 gnd Informatik (DE-588)4026894-9 gnd
subject_GND	(DE-588)4168051-0 (DE-588)4026927-9 (DE-588)4221249-2 (DE-588)4047409-4 (DE-588)4116521-4 (DE-588)4148248-7 (DE-588)4026894-9
title	Programming Languages and Operational Semantics A Concise Overview
title_auth	Programming Languages and Operational Semantics A Concise Overview
title_exact_search	Programming Languages and Operational Semantics A Concise Overview
title_full	Programming Languages and Operational Semantics A Concise Overview by Maribel Fernández
title_fullStr	Programming Languages and Operational Semantics A Concise Overview by Maribel Fernández
title_full_unstemmed	Programming Languages and Operational Semantics A Concise Overview by Maribel Fernández
title_short	Programming Languages and Operational Semantics
title_sort	programming languages and operational semantics a concise overview
title_sub	A Concise Overview
topic	Logischer Entwurf (DE-588)4168051-0 gnd Informationstheorie (DE-588)4026927-9 gnd Operationale Semantik (DE-588)4221249-2 gnd Programmiersprache (DE-588)4047409-4 gnd Software Engineering (DE-588)4116521-4 gnd Compiler (DE-588)4148248-7 gnd Informatik (DE-588)4026894-9 gnd
topic_facet	Logischer Entwurf Informationstheorie Operationale Semantik Programmiersprache Software Engineering Compiler Informatik
url	https://doi.org/10.1007/978-1-4471-6368-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027227718&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT fernandezmaribel programminglanguagesandoperationalsemanticsaconciseoverview

Verfügbarkeit

‌

Inhaltsverzeichnis
Online lesen