Eintrag weiter verarbeiten
Online-Ressource

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Wolff, Burkhart (VerfasserIn), Gaudel, Marie-Claude (Sonstige), Feliachi, Abderrahmane (Sonstige)
Titel: Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers/ edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7681
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Compilers (Computer programs).
Machine theory.
Konferenzschrift > 2012 > Paris
Konferenzschrift
Verfügbar auch als: Druck-Ausgabe Unifying theories of programming, Berlin : Springer, 2013, 247 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06365cam a22012492 4500
001 0-165202302X
003 DE-627
005 20240122104957.0
007 cr uuu---uuuuu
008 130207s2013 gw |||||o 00| ||eng c
020 |a 9783642357053  |9 978-3-642-35705-3 
024 7 |a 10.1007/978-3-642-35705-3  |2 doi 
035 |a (DE-627)165202302X 
035 |a (DE-576)378519824 
035 |a (DE-599)BSZ378519824 
035 |a (OCoLC)829742176 
035 |a (ZBM)1322.68018 
035 |a (ZBM)1322.68018 
035 |a (DE-He213)978-3-642-35705-3 
035 |a (EBP)040546586 
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 Wolff, Burkhart  |4 aut 
245 1 0 |a Unifying Theories of Programming  |b 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers  |c edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (VIII, 249 p. 4 illus, 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 7681 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language. 
520 |a This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
655 7 |a Konferenzschrift  |y 2012  |z Paris  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4076370-5  |0 (DE-627)106083031  |0 (DE-576)20920169X  |a Programmierung  |2 gnd 
689 0 1 |D s  |0 (DE-588)4186894-8  |0 (DE-627)105276200  |0 (DE-576)210042249  |a Unifikationstheorie  |2 gnd 
689 0 |5 DE-101 
700 1 |a Gaudel, Marie-Claude  |4 oth 
700 1 |a Feliachi, Abderrahmane  |4 oth 
776 1 |z 9783642357046 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |t Unifying theories of programming  |d Berlin : Springer, 2013  |h 247 S.  |w (DE-627)731907167  |w (DE-576)392126303  |z 3642357040  |z 9783642357046 
830 0 |a Lecture notes in computer science  |v 7681  |9 7681  |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-35705-3  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-35705-3  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz378519824cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20130402154936  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1322.68018  |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=4197990&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)735258945 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
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 Vereinheitlicher 
950 |a Universelle Unifikation 
950 |a Computer 
950 |a Programmierung 
950 |a Computerprogrammierung 
950 |a Programmieren 
950 |a Programmiertechnik 
950 |a Datenverarbeitung 
950 |a Softwareentwicklung 
950 |a Программирование 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-35705-3  |9 DE-14 
852 |a DE-14  |x epn:3356038915  |z 2013-02-07T10:39:22Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-35705-3  |9 DE-15 
852 |a DE-15  |x epn:3356038958  |z 2013-02-07T10:39:22Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-35705-3  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3356039008  |z 2013-02-07T10:39:22Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-35705-3  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3356039040  |z 2013-02-07T10:39:22Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-35705-3  |9 DE-520 
852 |a DE-520  |x epn:3356039105  |z 2013-02-07T10:39:22Z 
980 |a 165202302X  |b 0  |k 165202302X  |o 378519824 
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=Unifying+Theories+of+Programming%3A+4th+International+Symposium%2C+UTP+2012%2C+Paris%2C+France%2C+August+27-28%2C+2012%2C+Revised+Selected+Papers&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Unifying+Theories+of+Programming%3A+4th+International+Symposium%2C+UTP+2012%2C+Paris%2C+France%2C+August+27-28%2C+2012%2C+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+7681&rft.au=Wolff%2C+Burkhart&rft.pub=Springer&rft.edition=&rft.isbn=3642357059
SOLR
_version_ 1792258590133714944
access_facet Electronic Resources
author Wolff, Burkhart
author2 Gaudel, Marie-Claude, Feliachi, Abderrahmane
author2_role oth, oth
author2_variant m c g mcg, a f af
author_facet Wolff, Burkhart, Gaudel, Marie-Claude, Feliachi, Abderrahmane
author_role aut
author_sort Wolff, Burkhart
author_variant b w bw
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 Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language., This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions
ctrlnum (DE-627)165202302X, (DE-576)378519824, (DE-599)BSZ378519824, (OCoLC)829742176, (ZBM)1322.68018, (DE-He213)978-3-642-35705-3, (EBP)040546586
de15_date 2013-02-07T10:39:22Z
dech1_date 2013-02-07T10:39:22Z
doi_str_mv 10.1007/978-3-642-35705-3
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Programmierung, Unifikationstheorie
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
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 Paris (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (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 Paris
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7681
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-165202302X
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-165202302X
is_hierarchy_title Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
isbn 9783642357053
isbn_isn_mv 9783642357046, 3642357040
issn_isn_mv 1611-3349
kxp_id_str 165202302X
language English
last_indexed 2024-02-29T18:23:05.59Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Programmierung, Unifikationstheorie
marc024a_ct_mv 10.1007/978-3-642-35705-3
match_str wolff2013unifyingtheoriesofprogramming4thinternationalsymposiumutp2012parisfranceaugust27282012revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7681
oclc_num 829742176
physical Online-Ressource (VIII, 249 p. 4 illus, digital)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 378519824
recordtype marcfinc
rsn_id_str_mv (DE-15)3198419
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, 7681
series2 Lecture Notes in Computer Science ; 7681, SpringerLink ; Bücher
source_id 0
spelling Wolff, Burkhart aut, Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi, Berlin, Heidelberg Springer 2013, Online-Ressource (VIII, 249 p. 4 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7681, SpringerLink Bücher, Literaturangaben, Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language., This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Konferenzschrift 2012 Paris (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4076370-5 (DE-627)106083031 (DE-576)20920169X Programmierung gnd, s (DE-588)4186894-8 (DE-627)105276200 (DE-576)210042249 Unifikationstheorie gnd, DE-101, Gaudel, Marie-Claude oth, Feliachi, Abderrahmane oth, 9783642357046, Erscheint auch als Druck-Ausgabe Unifying theories of programming Berlin : Springer, 2013 247 S. (DE-627)731907167 (DE-576)392126303 3642357040 9783642357046, Lecture notes in computer science 7681 7681 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-35705-3 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-35705-3 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz378519824cov.jpg V:DE-576 X:springer image/jpeg 20130402154936 Cover, https://zbmath.org/?q=an:1322.68018 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, http://deposit.d-nb.de/cgi-bin/dokserv?id=4197990&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)735258945, http://dx.doi.org/10.1007/978-3-642-35705-3 DE-14, DE-14 epn:3356038915 2013-02-07T10:39:22Z, http://dx.doi.org/10.1007/978-3-642-35705-3 DE-15, DE-15 epn:3356038958 2013-02-07T10:39:22Z, http://dx.doi.org/10.1007/978-3-642-35705-3 DE-Ch1, DE-Ch1 epn:3356039008 2013-02-07T10:39:22Z, http://dx.doi.org/10.1007/978-3-642-35705-3 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3356039040 2013-02-07T10:39:22Z, http://dx.doi.org/10.1007/978-3-642-35705-3 DE-520, DE-520 epn:3356039105 2013-02-07T10:39:22Z
spellingShingle Wolff, Burkhart, Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers, Lecture notes in computer science, 7681, Unifying Theories of Undefinedness in UTP -- Unifying Theories of Programming with Monads -- Circus Time with Reactive Designs -- Algebra Unifies Operational Calculi -- A Probabilistic Theory of Designs Based on Distributions -- The Logic of U•(TP)2 -- Conscriptions: A New Relational Model for Sequential Computations -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions -- Higher-Order UTP for a Theory of Methods -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language., This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Konferenzschrift 2012 Paris, Konferenzschrift, Programmierung, Unifikationstheorie
swb_id_str 378519824
title Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
title_auth Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
title_full Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
title_fullStr Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
title_full_unstemmed Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
title_in_hierarchy 7681. Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers (2013)
title_short Unifying Theories of Programming
title_sort unifying theories of programming 4th international symposium utp 2012 paris france august 27 28 2012 revised selected papers
title_sub 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
title_unstemmed Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
topic Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Konferenzschrift 2012 Paris, Konferenzschrift, Programmierung, Unifikationstheorie
topic_facet Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Konferenzschrift, Programmierung, Unifikationstheorie
url https://doi.org/10.1007/978-3-642-35705-3, http://dx.doi.org/10.1007/978-3-642-35705-3, https://swbplus.bsz-bw.de/bsz378519824cov.jpg, https://zbmath.org/?q=an:1322.68018, http://deposit.d-nb.de/cgi-bin/dokserv?id=4197990&prov=M&dok_var=1&dok_ext=htm