Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften:	Gibbons, Jeremy (VerfasserIn), Nogueira, Pablo (Sonstige)
Titel:	Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings/ edited by Jeremy Gibbons, Pablo Nogueira
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2012
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7342
Schlagwörter:	Logic design Computational complexity Computer science Software engineering Computer Science Machine theory. Discrete mathematics. Compilers (Computer programs). Konferenzschrift > 2012 > Madrid
Buchausg. u.d.T.:	Mathematics of program construction, Berlin : Springer, 2012, X, 362 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz


LEADER	06096cam a22013212 4500
001	0-165154011X
003	DE-627
005	20240122105058.0
007	cr uuu---uuuuu
008	120704s2012 gw \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9783642311130 \|9 978-3-642-31113-0
024	7		\|a 10.1007/978-3-642-31113-0 \|2 doi
035			\|a (DE-627)165154011X
035			\|a (DE-576)367687615
035			\|a (DE-599)BSZ367687615
035			\|a (OCoLC)840010773
035			\|a (OCoLC)802447613
035			\|a (ZBM)1245.68009
035			\|a (ZBM)1245.68009
035			\|a (DE-He213)978-3-642-31113-0
035			\|a (EBP)040542750
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
041			\|a eng
044			\|c XA-DE \|c XA-DE-BE
050		0	\|a QA76.9.L63 \|a QA76.5913 \|a QA76.63
050		0	\|a QA76.9.L63
050		0	\|a QA76.5913
050		0	\|a QA76.63
072		7	\|a UM \|2 bicssc
072		7	\|a UYF \|2 bicssc
072		7	\|a COM036000 \|2 bisacsh
072		7	\|a COM051000 \|2 bisacsh
072		7	\|a UYA \|2 bicssc
084			\|a SS 4800 \|q SEPA \|2 rvk \|0 (DE-625)rvk/143528:
084			\|a *68-06 \|2 msc
084			\|a 68N30 \|2 msc
084			\|a 00B25 \|2 msc
084			\|a 54.51 \|2 bkl
084			\|a 54.10 \|2 bkl
100	1		\|a Gibbons, Jeremy \|4 aut
245	1	0	\|a Mathematics of Program Construction \|b 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings \|c edited by Jeremy Gibbons, Pablo Nogueira
264		1	\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2012
300			\|a Online-Ressource (X, 363p, digital)
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7342
490	0		\|a SpringerLink \|a Bücher
500			\|a Literaturangaben
520			\|a This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
650		0	\|a Logic design
650		0	\|a Computational complexity
650		0	\|a Computer science
650		0	\|a Software engineering
650		0	\|a Logic design
650		0	\|a Computational complexity
650		0	\|a Computer science
650		0	\|a Software engineering
650		0	\|a Computer Science
650		0	\|a Machine theory.
650		0	\|a Discrete mathematics.
650		0	\|a Compilers (Computer programs).
655		7	\|a Konferenzschrift \|y 2012 \|z Madrid \|0 (DE-588)1071861417 \|0 (DE-627)826484824 \|0 (DE-576)433375485 \|2 gnd-content
689	0	0	\|D s \|0 (DE-588)4116522-6 \|0 (DE-627)104616369 \|0 (DE-576)209502258 \|a Softwareentwicklung \|2 gnd
689	0	1	\|D s \|0 (DE-588)4155620-3 \|0 (DE-627)105514500 \|0 (DE-576)209820527 \|a Mathematische Methode \|2 gnd
689	0		\|5 DE-101
700	1		\|a Nogueira, Pablo \|4 oth
776	1		\|z 9783642311123
776	0	8	\|i Buchausg. u.d.T. \|t Mathematics of program construction \|d Berlin : Springer, 2012 \|h X, 362 S. \|w (DE-627)716884089 \|w (DE-576)368312992 \|z 3642311121 \|z 9783642311123
830		0	\|a Lecture notes in computer science \|v 7342 \|9 7342 \|w (DE-627)316228877 \|w (DE-576)093890923 \|w (DE-600)2018930-8 \|x 1611-3349 \|7 ns
856	4	0	\|u https://doi.org/10.1007/978-3-642-31113-0 \|m X:SPRINGER \|x Verlag \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31113-0 \|x Resolving-System \|z lizenzpflichtig \|3 Volltext
856	4	2	\|u https://swbplus.bsz-bw.de/bsz367687615cov.jpg \|m V:DE-576 \|m X:springer \|q image/jpeg \|v 20140207104433 \|3 Cover
856	4	2	\|u https://zbmath.org/?q=an:1245.68009 \|m B:ZBM \|v 2021-04-12 \|x Verlag \|y Zentralblatt MATH \|3 Inhaltstext
856	4	2	\|u http://deposit.d-nb.de/cgi-bin/dokserv?id=4040663&prov=M&dok_var=1&dok_ext=htm \|m X: MVB \|q text/html \|v 2013-05-01 \|x Verlag \|3 Inhaltstext
856	4	2	\|u http://d-nb.info/1022402110/04 \|m B:DE-101 \|q application/pdf \|v 2013-05-01 \|x Verlag \|3 Inhaltsverzeichnis
889			\|w (DE-627)718777522
912			\|a ZDB-2-LNC \|b 2012
912			\|a ZDB-2-SCS \|b 2012
912			\|a ZDB-2-SEB
912			\|a ZDB-2-SXCS \|b 2012
912			\|a ZDB-2-SEB \|b 2012
935			\|h GBV \|i ExPruef
936	r	v	\|a SS 4800 \|b Lecture notes in computer science \|k Informatik \|k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen \|k Schriftenreihen (indiv. Sign.) \|k Lecture notes in computer science \|0 (DE-627)1271461242 \|0 (DE-625)rvk/143528: \|0 (DE-576)201461242
936	b	k	\|a 54.51 \|j Programmiermethodik \|q SEPA \|0 (DE-627)106418122
936	b	k	\|a 54.10 \|j Theoretische Informatik \|q SEPA \|0 (DE-627)106418815
951			\|a BO
950			\|a Software
950			\|a Entwicklung
950			\|a Softwareentwurf
950			\|a Programmentwicklung
950			\|a Programmentwurf
950			\|a Software Engineering
950			\|a Programmierung
950			\|a Softwareentwickler
950			\|a Webentwicklung
950			\|a Разработка программного обеспечения
950			\|a Mathematik
950			\|a 数学方法
950			\|a 數學方法
950			\|a Математическаий метод
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31113-0 \|9 DE-14
852			\|a DE-14 \|x epn:335002372X \|z 2012-07-04T16:23:39Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31113-0 \|9 DE-15
852			\|a DE-15 \|x epn:3350023797 \|z 2012-07-04T16:23:39Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31113-0 \|9 DE-Ch1
852			\|a DE-Ch1 \|x epn:3350023835 \|z 2012-07-04T16:23:39Z
976			\|h Elektronischer Volltext - Campuslizenz
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31113-0 \|z Zum Online-Dokument \|9 DE-Zi4
852			\|a DE-Zi4 \|x epn:3350023908 \|z 2012-07-04T16:23:39Z
856	4	0	\|u http://dx.doi.org/10.1007/978-3-642-31113-0 \|9 DE-520
852			\|a DE-520 \|x epn:3350023932 \|z 2012-07-04T16:23:39Z
980			\|a 165154011X \|b 0 \|k 165154011X \|o 367687615

openURL	url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Mathematics+of+Program+Construction%3A+11th+International+Conference%2C+MPC+2012%2C+Madrid%2C+Spain%2C+June+25-27%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Mathematics+of+Program+Construction%3A+11th+International+Conference%2C+MPC+2012%2C+Madrid%2C+Spain%2C+June+25-27%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7342&rft.au=Gibbons%2C+Jeremy&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=364231113X

openURL

url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Mathematics+of+Program+Construction%3A+11th+International+Conference%2C+MPC+2012%2C+Madrid%2C+Spain%2C+June+25-27%2C+2012.+Proceedings&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Mathematics+of+Program+Construction%3A+11th+International+Conference%2C+MPC+2012%2C+Madrid%2C+Spain%2C+June+25-27%2C+2012.+Proceedings&rft.series=Lecture+notes+in+computer+science%2C+7342&rft.au=Gibbons%2C+Jeremy&rft.pub=Springer+Berlin+Heidelberg&rft.edition=&rft.isbn=364231113X

SOLR
_version_	1792253792474890240
access_facet	Electronic Resources
author	Gibbons, Jeremy
author2	Nogueira, Pablo
author2_role	oth
author2_variant	p n pn
author_facet	Gibbons, Jeremy, Nogueira, Pablo
author_role	aut
author_sort	Gibbons, Jeremy
author_variant	j g jg
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-search	QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-sort	QA 276.9 L63 Q A76 45913 Q A76 263
callnumber-subject	QA - Mathematics
collection	ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents	This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
ctrlnum	(DE-627)165154011X, (DE-576)367687615, (DE-599)BSZ367687615, (OCoLC)840010773, (OCoLC)802447613, (ZBM)1245.68009, (DE-He213)978-3-642-31113-0, (EBP)040542750
de15_date	2012-07-04T16:23:39Z
dech1_date	2012-07-04T16:23:39Z
doi_str_mv	10.1007/978-3-642-31113-0
era_facet	2012
facet_912a	ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail	Online
facet_local_del330	Softwareentwicklung, Mathematische Methode
finc_class_facet	Informatik, Mathematik
fincclass_txtF_mv	science-computerscience
footnote	Literaturangaben
format	eBook, ConferenceProceedings
format_access_txtF_mv	Book, E-Book
format_de105	Ebook
format_de14	Book, E-Book
format_de15	Book, E-Book
format_del152	Buch
format_detail_txtF_mv	text-online-monograph-independent-conference
format_dezi4	e-Book
format_finc	Book, E-Book
format_legacy	ElectronicBook
format_legacy_nrw	Book, E-Book
format_nrw	Book, E-Book
format_strict_txtF_mv	E-Book
genre	Konferenzschrift 2012 Madrid (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet	Konferenzschrift
geogr_code	not assigned
geogr_code_person	not assigned
geographic_facet	Madrid
hierarchy_parent_id	0-316228877
hierarchy_parent_title	Lecture notes in computer science
hierarchy_sequence	7342
hierarchy_top_id	0-316228877
hierarchy_top_title	Lecture notes in computer science
id	0-165154011X
illustrated	Not Illustrated
imprint	Berlin, Heidelberg, Springer Berlin Heidelberg, 2012
imprint_str_mv	Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
institution	DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id	0-165154011X
is_hierarchy_title	Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
isbn	9783642311130
isbn_isn_mv	9783642311123, 3642311121
issn_isn_mv	1611-3349
kxp_id_str	165154011X
language	English
last_indexed	2024-02-29T17:06:48.005Z
local_heading_facet_dezwi2	Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Machine theory., Discrete mathematics., Compilers (Computer programs)., Softwareentwicklung, Mathematische Methode
marc024a_ct_mv	10.1007/978-3-642-31113-0
match_str	gibbons2012mathematicsofprogramconstruction11thinternationalconferencempc2012madridspainjune25272012proceedings
mega_collection	Verbunddaten SWB
multipart_link	093890923
multipart_part	(093890923)7342
oclc_num	840010773, 802447613
physical	Online-Ressource (X, 363p, digital)
publishDate	2012
publishDateSort	2012
publishPlace	Berlin, Heidelberg
publisher	Springer Berlin Heidelberg
record_format	marcfinc
record_id	367687615
recordtype	marcfinc
rsn_id_str_mv	(DE-15)3140171
rvk_facet	SS 4800
rvk_label	Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path	SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv	SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series	Lecture notes in computer science, 7342
series2	Lecture Notes in Computer Science ; 7342, SpringerLink ; Bücher
source_id	0
spelling	Gibbons, Jeremy aut, Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings edited by Jeremy Gibbons, Pablo Nogueira, Berlin, Heidelberg Springer Berlin Heidelberg 2012, Online-Ressource (X, 363p, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7342, SpringerLink Bücher, Literaturangaben, This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming., Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Machine theory., Discrete mathematics., Compilers (Computer programs)., Konferenzschrift 2012 Madrid (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4116522-6 (DE-627)104616369 (DE-576)209502258 Softwareentwicklung gnd, s (DE-588)4155620-3 (DE-627)105514500 (DE-576)209820527 Mathematische Methode gnd, DE-101, Nogueira, Pablo oth, 9783642311123, Buchausg. u.d.T. Mathematics of program construction Berlin : Springer, 2012 X, 362 S. (DE-627)716884089 (DE-576)368312992 3642311121 9783642311123, Lecture notes in computer science 7342 7342 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-31113-0 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-31113-0 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz367687615cov.jpg V:DE-576 X:springer image/jpeg 20140207104433 Cover, https://zbmath.org/?q=an:1245.68009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4040663&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, http://d-nb.info/1022402110/04 B:DE-101 application/pdf 2013-05-01 Verlag Inhaltsverzeichnis, (DE-627)718777522, http://dx.doi.org/10.1007/978-3-642-31113-0 DE-14, DE-14 epn:335002372X 2012-07-04T16:23:39Z, http://dx.doi.org/10.1007/978-3-642-31113-0 DE-15, DE-15 epn:3350023797 2012-07-04T16:23:39Z, http://dx.doi.org/10.1007/978-3-642-31113-0 DE-Ch1, DE-Ch1 epn:3350023835 2012-07-04T16:23:39Z, http://dx.doi.org/10.1007/978-3-642-31113-0 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3350023908 2012-07-04T16:23:39Z, http://dx.doi.org/10.1007/978-3-642-31113-0 DE-520, DE-520 epn:3350023932 2012-07-04T16:23:39Z
spellingShingle	Gibbons, Jeremy, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings, Lecture notes in computer science, 7342, This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming., Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Machine theory., Discrete mathematics., Compilers (Computer programs)., Konferenzschrift 2012 Madrid, Softwareentwicklung, Mathematische Methode
swb_id_str	367687615
title	Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
title_auth	Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
title_full	Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings edited by Jeremy Gibbons, Pablo Nogueira
title_fullStr	Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings edited by Jeremy Gibbons, Pablo Nogueira
title_full_unstemmed	Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings edited by Jeremy Gibbons, Pablo Nogueira
title_in_hierarchy	7342. Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings (2012)
title_short	Mathematics of Program Construction
title_sort	mathematics of program construction 11th international conference mpc 2012 madrid spain june 25 27 2012 proceedings
title_sub	11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
title_unstemmed	Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
topic	Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Machine theory., Discrete mathematics., Compilers (Computer programs)., Konferenzschrift 2012 Madrid, Softwareentwicklung, Mathematische Methode
topic_facet	Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Machine theory., Discrete mathematics., Compilers (Computer programs)., Konferenzschrift, Softwareentwicklung, Mathematische Methode
url	https://doi.org/10.1007/978-3-642-31113-0, http://dx.doi.org/10.1007/978-3-642-31113-0, https://swbplus.bsz-bw.de/bsz367687615cov.jpg, https://zbmath.org/?q=an:1245.68009, http://deposit.d-nb.de/cgi-bin/dokserv?id=4040663&prov=M&dok_var=1&dok_ext=htm, http://d-nb.info/1022402110/04