Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
Schriftenreihe: | Lecture notes in computer science; 6486
6486 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | 1 Online-Ressource (X, 235 S.) graph. Darst. |
ISBN: | 9783642177965 |
DOI: | 10.1007/978-3-642-17796-5 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV037236014 | ||
003 | DE-604 | ||
005 | 20110330 | ||
007 | cr|uuu---uuuuu | ||
008 | 110218s2011 xx d||| o|||| 10||| eng d | ||
020 | |a 9783642177965 |c Online |9 978-3-642-17796-5 | ||
024 | 7 | |a 10.1007/978-3-642-17796-5 |2 doi | |
035 | |a (OCoLC)837839580 | ||
035 | |a (DE-599)BVBBV037236014 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-473 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-M347 |a DE-20 |a DE-703 |a DE-355 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-706 |a DE-634 | ||
084 | |a MAT 110f |2 stub | ||
084 | |a DAT 310f |2 stub | ||
084 | |a DAT 000 |2 stub | ||
084 | |a DAT 325f |2 stub | ||
245 | 1 | 0 | |a Algebraic Methodology and Software Technology |b 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers |c Michael Johnson ... (eds.) |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
300 | |a 1 Online-Ressource (X, 235 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; 6486 | |
650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Algebraische Methode |0 (DE-588)4141841-4 |2 gnd |9 rswk-swf |
653 | |a Paperback / softback | ||
653 | |a Research | ||
653 | |a computer algebra | ||
653 | |a constraint programming | ||
653 | |a correctness | ||
653 | |a formal languages | ||
653 | |a formal methods | ||
653 | |a functional programming | ||
653 | |a logic programming | ||
653 | |a requirements engineering | ||
653 | |a software architecture | ||
653 | |a software engineering | ||
653 | |a software portability | ||
653 | |a software validation | ||
653 | |a software verification | ||
653 | |a theorem proving | ||
653 | |a web programming | ||
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Lac Beauport |2 gnd-content | |
689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
689 | 0 | 1 | |a Algebraische Methode |0 (DE-588)4141841-4 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Johnson, Michael |e Sonstige |0 (DE-588)143324543 |4 oth | |
711 | 2 | |a AMAST |n 13 |d 2010 |c Lac Beauport |j Sonstige |0 (DE-588)16097974-2 |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-17795-8 |
830 | 0 | |a Lecture notes in computer science; 6486 |v 6486 |w (DE-604)BV014880109 |9 6486 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-17796-5 |x Verlag |3 Volltext |
912 | |a ZDB-2-LNC | ||
912 | |a ZDB-2-SCS | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-021149599 |
Datensatz im Suchindex
_version_ | 1820875291632861184 |
---|---|
adam_text | |
any_adam_object | |
author_GND | (DE-588)143324543 |
building | Verbundindex |
bvnumber | BV037236014 |
classification_rvk | SS 4800 |
classification_tum | MAT 110f DAT 310f DAT 000 DAT 325f |
collection | ZDB-2-LNC ZDB-2-SCS |
ctrlnum | (OCoLC)837839580 (DE-599)BVBBV037236014 |
discipline | Informatik Mathematik |
doi_str_mv | 10.1007/978-3-642-17796-5 |
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">BV037236014</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110330</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110218s2011 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642177965</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-17796-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-17796-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)837839580</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037236014</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="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 110f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic Methodology and Software Technology</subfield><subfield code="b">13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers</subfield><subfield code="c">Michael Johnson ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [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 (X, 235 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; 6486</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computer algebra</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">constraint programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">correctness</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal methods</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">functional programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">requirements engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software architecture</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software portability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software validation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theorem proving</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">web programming</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Lac Beauport</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</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">Johnson, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)143324543</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">AMAST</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Lac Beauport</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16097974-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-17795-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science; 6486</subfield><subfield code="v">6486</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6486</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-17796-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</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-021149599</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2010 Lac Beauport gnd-content |
genre_facet | Konferenzschrift 2010 Lac Beauport |
id | DE-604.BV037236014 |
illustrated | Illustrated |
indexdate | 2025-01-10T15:13:18Z |
institution | BVB |
institution_GND | (DE-588)16097974-2 |
isbn | 9783642177965 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021149599 |
oclc_num | 837839580 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634 |
owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-706 DE-634 |
physical | 1 Online-Ressource (X, 235 S.) graph. Darst. |
psigel | ZDB-2-LNC ZDB-2-SCS |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science; 6486 |
series2 | Lecture notes in computer science; 6486 |
spelling | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers Michael Johnson ... (eds.) Berlin [u.a.] Springer 2011 1 Online-Ressource (X, 235 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science; 6486 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf Paperback / softback Research computer algebra constraint programming correctness formal languages formal methods functional programming logic programming requirements engineering software architecture software engineering software portability software validation software verification theorem proving web programming (DE-588)1071861417 Konferenzschrift 2010 Lac Beauport gnd-content Softwareentwicklung (DE-588)4116522-6 s Algebraische Methode (DE-588)4141841-4 s DE-604 Johnson, Michael Sonstige (DE-588)143324543 oth AMAST 13 2010 Lac Beauport Sonstige (DE-588)16097974-2 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-17795-8 Lecture notes in computer science; 6486 6486 (DE-604)BV014880109 6486 https://doi.org/10.1007/978-3-642-17796-5 Verlag Volltext |
spellingShingle | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers Lecture notes in computer science; 6486 Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Methode (DE-588)4141841-4 gnd |
subject_GND | (DE-588)4116522-6 (DE-588)4141841-4 (DE-588)1071861417 |
title | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers |
title_auth | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers |
title_exact_search | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers |
title_full | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers Michael Johnson ... (eds.) |
title_fullStr | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers Michael Johnson ... (eds.) |
title_full_unstemmed | Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers Michael Johnson ... (eds.) |
title_short | Algebraic Methodology and Software Technology |
title_sort | algebraic methodology and software technology 13th international conference amast 2010 lac beauport qc canada june 23 25 2010 revised selected papers |
title_sub | 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers |
topic | Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Methode (DE-588)4141841-4 gnd |
topic_facet | Softwareentwicklung Algebraische Methode Konferenzschrift 2010 Lac Beauport |
url | https://doi.org/10.1007/978-3-642-17796-5 |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT johnsonmichael algebraicmethodologyandsoftwaretechnology13thinternationalconferenceamast2010lacbeauportqccanadajune23252010revisedselectedpapers AT amastlacbeauport algebraicmethodologyandsoftwaretechnology13thinternationalconferenceamast2010lacbeauportqccanadajune23252010revisedselectedpapers |