Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7 - 10, 2012 ; revised selected papers (Englisch)
- Neue Suche nach: WADT
- Weitere Informationen zu WADT:
- http://d-nb.info/gnd/1033677248
- Neue Suche nach: International Federation for Information Processing
- Weitere Informationen zu International Federation for Information Processing:
- http://d-nb.info/gnd/1003417-1
- Neue Suche nach: Martí-Oliet, Narciso
- Neue Suche nach: WADT
- Weitere Informationen zu WADT:
- http://d-nb.info/gnd/1033677248
- Neue Suche nach: International Federation for Information Processing
- Weitere Informationen zu International Federation for Information Processing:
- http://d-nb.info/gnd/1003417-1
2013
-
ISBN:
- Konferenzband / Print
-
Titel:Recent trends in algebraic development techniques : 21st international workshop, WADT 2012, Salamanca, Spain, June 7 - 10, 2012 ; revised selected papers
-
Beteiligte:Martí-Oliet, Narciso ( Herausgeber:in ) / WADT / International Federation for Information Processing
-
Kongress:International Workshop on Algebraic Development Techniques ; 21 ; 2012 ; Salamanca
WADT ; 21 ; 2012 ; Salamanca -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , Heidelberg [u.a.]
-
Erscheinungsdatum:2013
-
Format / Umfang:X, 282 S.
-
Anmerkungen:235 mm x 155 mm
Ill., graph. Darst.
Literaturangaben
Langzeitarchivierung durch Badische Landesbibliothek -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
-
Reportnr. / Förderkennzeichen:86250476
- Neue Suche nach: 00B25 / 68Qxx / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 54.52 / 54.10
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Open Multiparty InteractionBodei, C. / Brodo, L. / Bruni, R. / IFIP WG 1.3 et al. | 2013
- 24
-
Behaviour Protection in Modular Rule-Based System SpecificationsDuran, F. / Orejas, F. / Zschaler, S. / IFIP WG 1.3 et al. | 2013
- 50
-
Quantitative Modal Transition SystemsLarsen, K.G. / Legay, A. / IFIP WG 1.3 et al. | 2013
- 59
-
Bounded Model Checking of Recursive Programs with Pointers in KAsavoae, I.M. / de Boer, F. / Bonsangue, M.M. / Lucanu, D. / Rot, J. / IFIP WG 1.3 et al. | 2013
- 77
-
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud ComputingBentea, L. / Olveczky, P.C. / IFIP WG 1.3 et al. | 2013
- 95
-
Adaptable Transition SystemsBruni, R. / Corradini, A. / Gadducci, F. / Lafuente, A.L. / Vandin, A. / IFIP WG 1.3 et al. | 2013
- 111
-
Compiling LogicsCodescu, M. / Horozal, F. / Jakubauskas, A. / Mossakowski, T. / Rabe, F. / IFIP WG 1.3 et al. | 2013
- 127
-
Transformation Systems with Incremental Negative Application ConditionsCorradini, A. / Heckel, R. / Hermann, F. / Gottmann, S. / Nachtigall, N. / IFIP WG 1.3 et al. | 2013
- 143
-
Statistical Model Checking for Composite Actor SystemsEckhardt, J. / Muhlbauer, T. / Meseguer, J. / Wirsing, M. / IFIP WG 1.3 et al. | 2013
- 161
-
Barbed Semantics for Open Reactive SystemsGadducci, F. / Monreale, G.V. / IFIP WG 1.3 et al. | 2013
- 178
-
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using CaslJames, P. / Knapp, A. / Mossakowski, T. / Roggenbach, M. / IFIP WG 1.3 et al. | 2013
- 195
-
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General LogicsPombo, C.G.L. / Castro, P.F. / Aguirre, N.M. / Maibaum, T.S.E. / IFIP WG 1.3 et al. | 2013
- 212
-
Semantics of the Distributed Ontology Language: Institutes and InstitutionsMossakowski, T. / Kutz, O. / Lange, C. / IFIP WG 1.3 et al. | 2013
- 231
-
Formal Specification of the Kademlia and the Kad Routing Tables in MaudePita, I. / Fernandez-Camacho, M.-I. / IFIP WG 1.3 et al. | 2013
- 248
-
A Generic Program Slicing Technique Based on Language DefinitionsRiesco, A. / Asavoae, I.M. / Asavoae, M. / IFIP WG 1.3 et al. | 2013
- 265
-
Distances between Processes: A Pure Algebraic ApproachHernandez, D.R. / de Frutos Escrig, D. / IFIP WG 1.3 et al. | 2013