Nantilus
Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
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 inv...
Enregistré dans:
| Auteurs principaux : | , , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | 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. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 7681 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Sujets : | |
| Documents associés : | Autre format:
Unifying Theories of Programming Autre format: Unifying Theories of Programming |
| LEADER | 04474clm a2200781 4500 | ||
|---|---|---|---|
| 001 | PPN168329174 | ||
| 003 | http://www.sudoc.fr/168329174 | ||
| 005 | 20241001155200.0 | ||
| 010 | |a 978-3-642-35705-3 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-35705-3 |2 DOI |
| 035 | |a (OCoLC)829433986 | ||
| 035 | |a Springer978-3-642-35705-3 | ||
| 035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-35705-3 | ||
| 035 | |a Springer-11645-978-3-642-35705-3 | ||
| 100 | |a 20130325d2013 u u0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Unifying Theories of Programming |e 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers |f edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |c Springer Nature |d 2013 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7681 | |
| 330 | |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. | ||
| 359 | 1 | |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. | |
| 371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
| 371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
| 371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7681 | |
| 452 | | | |t Unifying Theories of Programming |y 9783642357046 | |
| 452 | | | |t Unifying Theories of Programming |y 9783642357060 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Programming Languages, Compilers, Interpreters | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Software Engineering | |
| 610 | 2 | |a Compilers and Interpreters | |
| 610 | 1 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 610 | 2 | |a Theory of Computation | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1015113 |v 23 | ||
| 680 | |a QA76.9.L63 | ||
| 680 | |a QA76.5913 | ||
| 680 | |a QA76.63 | ||
| 700 | 1 | |3 PPN074692097 |a Wolff |b Burkhart |4 651 | |
| 701 | 1 | |a Wolff |b Burkhard |4 651 | |
| 701 | 1 | |a Gaudel |b Marie-Claude |4 651 | |
| 701 | 1 | |a Feliachi |b Abderrahmane |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-35705-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-35705-3 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-9J24K8M5-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 441099901:830856803 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-35705-3 | |
| 915 | |5 441099901:830856803 |b SPRING13-00710 | ||
| 930 | |5 441099901:830856803 |b 441099901 |j g | ||
| 991 | |5 441099901:830856803 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:13 | ||
| 997 | |a NUM |b SPRING13-00710 |d NUMpivo |e EM |s d | ||
| 998 | |a 978540 | ||