Verfügbarkeit: Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6486
Schlagworte:	Softwareentwicklung Algebraische Methode Konferenzschrift > 2010 > Lac Beauport
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 235 S. graph. Darst.
ISBN:	9783642177958 3642177956

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV037157519
003	DE-604
005	20110330
007	t\|
008	110124s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N03 \|2 dnb
016	7		\|a 1009481231 \|2 DE-101
020			\|a 9783642177958 \|c Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.) \|9 978-3-642-17795-8
020			\|a 3642177956 \|c Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.) \|9 3-642-17795-6
024	3		\|a 9783642177958
028	5	2	\|a Best.-Nr.: 80029751
035			\|a (OCoLC)700068613
035			\|a (DE-599)DNB1009481231
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-83 \|a DE-91G
082	0		\|a 005.101512 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a MAT 110f \|2 stub
084			\|a DAT 310f \|2 stub
084			\|a 510 \|2 sdnb
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 X, 235 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|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
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
830		0	\|a Lecture notes in computer science \|v 6486 \|w (DE-604)BV000000607 \|9 6486
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3607992&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021072170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-021072170

Datensatz im Suchindex

_version_	1820875289816727552
adam_text	IMAGE 1 TABLE OF CONTENTS PART 1. INVITED PAPER STRUCTURAL ANALYSIS FOR STOCHASTIC PROCESS ALGEBRA MODELS (INVITED TALK) 1 JIE DING AND JANE HILLSTON PART 2. CONTRIBUTED RESEARCH PAPERS VERIFICATION OF COMMON INTERPROCEDURAL COMPILER OPTIMIZATIONS USING VISIBLY PUSHDOWN KLEENE ALGEBRA 28 CLAUDE BOLDUC AND BECHIR KTARI ON THE EXPRESSIVENESS OF THE 7R-CALCULUS AND THE MOBILE AMBIENTS 44 LINDA BRODO INTEGRATING MAUDE INTO HETS 60 MIHAI CODESCU, TILL MOSSAKOWSKI, ADRIAN RIESCO, AND CHRISTIAN MAEDER MODEL REFINEMENT USING BISIMULATION QUOTIENTS 76 ROLAND GLUECK, BERNHARD MOELLER, AND MICHEL SINTZOFF TYPE FUSION 92 RALF HINZE COALGEBRAIC SEMANTICS FOR PARALLEL DERIVATION STRATEGIES IN LOGIC PROGRAMMING I LL EKATERINA KOMENDANTSKAYA, GUY MCCUSKER, AND JOHN POWER LEARNING IN A CHANGING WORLD, AN ALGEBRAIC MODAL LOGICAL APPROACH 128 PRAKASH PANANGADEN AND MEHRNOOSH SADRZADEH MATCHING LOGIC: AN ALTERNATIVE TO HOARE/FLOYD LOGIC 142 GRIGORE ROSU, CHUCKY ELLISON, AND WOLFRAM SCHULTE PROGRAM CALCULATION IN COQ 163 JULIEN TESSON, HIDEKI HASHIMOTO, ZHENJIANG HU, FREDERIC LOULERGUE, AND MASATO TAKEICHI COOPERATION OF ALGEBRAIC CONSTRAINT DOMAINS IN HIGHER-ORDER FUNCTIONAL AND LOGIC PROGRAMMING 180 RAFAEL DEL VADO VIRSEDA BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1009481231 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS PART 3. SYSTEM DEMONSTRATIONS PROVING TERMINATION PROPERTIES WITH MU-TERM 201 BEATRIZ ALARCON, RAUL GUTIERREZ, SALVADOR LUCAS, AND RAFAEL NAVARRO-MAR SET BAL TOOL IN FLEXIBLE MANUFACTURING SYSTEMS 209 DIEGO PEREZ LEANDREZ, M. CARMEN RUIZ, J. JOSE PARDO, AND DIEGO CAZORLA A COMPLETE DECLARATIVE DEBUGGER FOR MAUDE 216 ADRIAN RIESCO, ALBERTO VERDEJO, AND NARCISO MARTI-OLIET AN ASSUME GUARANTEE APPROACH FOR CHECKING QUANTIFIED ARRAY ASSERTIONS 226 MOHAMED NASSIM SEGHIR AUTHOR INDEX 237
any_adam_object	1
author_GND	(DE-588)143324543
building	Verbundindex
bvnumber	BV037157519
classification_rvk	SS 4800
classification_tum	MAT 110f DAT 310f DAT 325f
ctrlnum	(OCoLC)700068613 (DE-599)DNB1009481231
dewey-full	005.101512
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.101512
dewey-search	005.101512
dewey-sort	15.101512
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
format	Conference Proceeding Book
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">BV037157519</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110330</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110124s2011 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N03</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1009481231</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642177958</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">978-3-642-17795-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642177956</subfield><subfield code="c">Pb. : EUR 49.22 (DE) (freier Pr.), sfr 66.00 (freier Pr.)</subfield><subfield code="9">3-642-17795-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642177958</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80029751</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700068613</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1009481231</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-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101512</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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">510</subfield><subfield code="2">sdnb</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">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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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="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="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6486</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6486</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3607992&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=021072170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-021072170</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Lac Beauport gnd-content
genre_facet	Konferenzschrift 2010 Lac Beauport
id	DE-604.BV037157519
illustrated	Illustrated
indexdate	2025-01-10T15:13:15Z
institution	BVB
institution_GND	(DE-588)16097974-2
isbn	9783642177958 3642177956
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-021072170
oclc_num	700068613
open_access_boolean
owner	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-706 DE-11 DE-83 DE-91G DE-BY-TUM
physical	X, 235 S. graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
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 X, 235 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science; 6486 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (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 Lecture notes in computer science 6486 (DE-604)BV000000607 6486 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3607992&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021072170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
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 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	http://deposit.dnb.de/cgi-bin/dokserv?id=3607992&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021072170&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT johnsonmichael algebraicmethodologyandsoftwaretechnology13thinternationalconferenceamast2010lacbeauportqccanadajune23252010revisedselectedpapers AT amastlacbeauport algebraicmethodologyandsoftwaretechnology13thinternationalconferenceamast2010lacbeauportqccanadajune23252010revisedselectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge