Programming in Ada 2012:
Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ad...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge
Cambridge University Press
2014
|
Schlagworte: | |
Online-Zugang: | BSB01 FHN01 Volltext |
Zusammenfassung: | Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new book will become recognised as the go-to resource for those wishing to learn the language or to program in it |
Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
Beschreibung: | 1 online resource (xxii, 949 pages) |
ISBN: | 9781139696616 |
DOI: | 10.1017/CBO9781139696616 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV043943243 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 161206s2014 |||| o||u| ||||||eng d | ||
020 | |a 9781139696616 |c Online |9 978-1-139-69661-6 | ||
024 | 7 | |a 10.1017/CBO9781139696616 |2 doi | |
035 | |a (ZDB-20-CBO)CR9781139696616 | ||
035 | |a (OCoLC)992869036 | ||
035 | |a (DE-599)BVBBV043943243 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-12 |a DE-92 | ||
082 | 0 | |a 005.13/3 |2 23 | |
100 | 1 | |a Barnes, J. G. P. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Programming in Ada 2012 |c John Barnes |
264 | 1 | |a Cambridge |b Cambridge University Press |c 2014 | |
300 | |a 1 online resource (xxii, 949 pages) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
505 | 8 | |a An overview. Introduction -- Simple concepts -- Abstraction -- Programs and libraries -- Program 1 : magic moments -- Algorithmic aspects. Lexical style -- Scalar types -- Control structures -- Arrays and records -- Expression structures -- Subprograms -- Access types -- Program 2 : sylvan sorter -- The big picture. Packages and private types -- Overall structure -- Program 2 : rational reckoner -- Object oriented programming -- Exceptions -- Contracts -- Numeric types -- Parameterized types -- Generics -- Tasking -- Object oriented techniques -- Tasking techniques -- Program 4 : super sieve -- Completing the story. Predefined library -- Program 5 : wild words -- Container library -- Interfacing -- Program 6 : playing pools -- The specialized annexes -- Finale -- Appendices. A1 : reserved words, etc. -- A2 : glossary -- A3 : syntax | |
520 | |a Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new book will become recognised as the go-to resource for those wishing to learn the language or to program in it | ||
650 | 4 | |a Ada (Computer program language) | |
650 | 0 | 7 | |a Ada 2012 |0 (DE-588)1049306368 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Ada 2012 |0 (DE-588)1049306368 |D s |
689 | 0 | |8 1\p |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-42481-4 |
856 | 4 | 0 | |u https://doi.org/10.1017/CBO9781139696616 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
912 | |a ZDB-20-CBO | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-029352213 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
966 | e | |u https://doi.org/10.1017/CBO9781139696616 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1017/CBO9781139696616 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804176886946856960 |
---|---|
any_adam_object | |
author | Barnes, J. G. P. |
author_facet | Barnes, J. G. P. |
author_role | aut |
author_sort | Barnes, J. G. P. |
author_variant | j g p b jgp jgpb |
building | Verbundindex |
bvnumber | BV043943243 |
collection | ZDB-20-CBO |
contents | An overview. Introduction -- Simple concepts -- Abstraction -- Programs and libraries -- Program 1 : magic moments -- Algorithmic aspects. Lexical style -- Scalar types -- Control structures -- Arrays and records -- Expression structures -- Subprograms -- Access types -- Program 2 : sylvan sorter -- The big picture. Packages and private types -- Overall structure -- Program 2 : rational reckoner -- Object oriented programming -- Exceptions -- Contracts -- Numeric types -- Parameterized types -- Generics -- Tasking -- Object oriented techniques -- Tasking techniques -- Program 4 : super sieve -- Completing the story. Predefined library -- Program 5 : wild words -- Container library -- Interfacing -- Program 6 : playing pools -- The specialized annexes -- Finale -- Appendices. A1 : reserved words, etc. -- A2 : glossary -- A3 : syntax |
ctrlnum | (ZDB-20-CBO)CR9781139696616 (OCoLC)992869036 (DE-599)BVBBV043943243 |
dewey-full | 005.13/3 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.13/3 |
dewey-search | 005.13/3 |
dewey-sort | 15.13 13 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1017/CBO9781139696616 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02933nmm a2200445zc 4500</leader><controlfield tag="001">BV043943243</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139696616</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-139-69661-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781139696616</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781139696616</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992869036</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943243</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barnes, J. G. P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming in Ada 2012</subfield><subfield code="c">John Barnes</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxii, 949 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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">An overview. Introduction -- Simple concepts -- Abstraction -- Programs and libraries -- Program 1 : magic moments -- Algorithmic aspects. Lexical style -- Scalar types -- Control structures -- Arrays and records -- Expression structures -- Subprograms -- Access types -- Program 2 : sylvan sorter -- The big picture. Packages and private types -- Overall structure -- Program 2 : rational reckoner -- Object oriented programming -- Exceptions -- Contracts -- Numeric types -- Parameterized types -- Generics -- Tasking -- Object oriented techniques -- Tasking techniques -- Program 4 : super sieve -- Completing the story. Predefined library -- Program 5 : wild words -- Container library -- Interfacing -- Program 6 : playing pools -- The specialized annexes -- Finale -- Appendices. A1 : reserved words, etc. -- A2 : glossary -- A3 : syntax</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new book will become recognised as the go-to resource for those wishing to learn the language or to program in it</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ada (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada 2012</subfield><subfield code="0">(DE-588)1049306368</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Ada 2012</subfield><subfield code="0">(DE-588)1049306368</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-42481-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781139696616</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-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352213</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139696616</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</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.1017/CBO9781139696616</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV043943243 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:39:19Z |
institution | BVB |
isbn | 9781139696616 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029352213 |
oclc_num | 992869036 |
open_access_boolean | |
owner | DE-12 DE-92 |
owner_facet | DE-12 DE-92 |
physical | 1 online resource (xxii, 949 pages) |
psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
publishDate | 2014 |
publishDateSearch | 2014 |
publishDateSort | 2014 |
publisher | Cambridge University Press |
record_format | marc |
spelling | Barnes, J. G. P. Verfasser aut Programming in Ada 2012 John Barnes Cambridge Cambridge University Press 2014 1 online resource (xxii, 949 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) An overview. Introduction -- Simple concepts -- Abstraction -- Programs and libraries -- Program 1 : magic moments -- Algorithmic aspects. Lexical style -- Scalar types -- Control structures -- Arrays and records -- Expression structures -- Subprograms -- Access types -- Program 2 : sylvan sorter -- The big picture. Packages and private types -- Overall structure -- Program 2 : rational reckoner -- Object oriented programming -- Exceptions -- Contracts -- Numeric types -- Parameterized types -- Generics -- Tasking -- Object oriented techniques -- Tasking techniques -- Program 4 : super sieve -- Completing the story. Predefined library -- Program 5 : wild words -- Container library -- Interfacing -- Program 6 : playing pools -- The specialized annexes -- Finale -- Appendices. A1 : reserved words, etc. -- A2 : glossary -- A3 : syntax Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new book will become recognised as the go-to resource for those wishing to learn the language or to program in it Ada (Computer program language) Ada 2012 (DE-588)1049306368 gnd rswk-swf Ada 2012 (DE-588)1049306368 s 1\p DE-604 Erscheint auch als Druckausgabe 978-1-107-42481-4 https://doi.org/10.1017/CBO9781139696616 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Barnes, J. G. P. Programming in Ada 2012 An overview. Introduction -- Simple concepts -- Abstraction -- Programs and libraries -- Program 1 : magic moments -- Algorithmic aspects. Lexical style -- Scalar types -- Control structures -- Arrays and records -- Expression structures -- Subprograms -- Access types -- Program 2 : sylvan sorter -- The big picture. Packages and private types -- Overall structure -- Program 2 : rational reckoner -- Object oriented programming -- Exceptions -- Contracts -- Numeric types -- Parameterized types -- Generics -- Tasking -- Object oriented techniques -- Tasking techniques -- Program 4 : super sieve -- Completing the story. Predefined library -- Program 5 : wild words -- Container library -- Interfacing -- Program 6 : playing pools -- The specialized annexes -- Finale -- Appendices. A1 : reserved words, etc. -- A2 : glossary -- A3 : syntax Ada (Computer program language) Ada 2012 (DE-588)1049306368 gnd |
subject_GND | (DE-588)1049306368 |
title | Programming in Ada 2012 |
title_auth | Programming in Ada 2012 |
title_exact_search | Programming in Ada 2012 |
title_full | Programming in Ada 2012 John Barnes |
title_fullStr | Programming in Ada 2012 John Barnes |
title_full_unstemmed | Programming in Ada 2012 John Barnes |
title_short | Programming in Ada 2012 |
title_sort | programming in ada 2012 |
topic | Ada (Computer program language) Ada 2012 (DE-588)1049306368 gnd |
topic_facet | Ada (Computer program language) Ada 2012 |
url | https://doi.org/10.1017/CBO9781139696616 |
work_keys_str_mv | AT barnesjgp programminginada2012 |