Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings
This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected...
Shranjeno v:
| Collectivités auteurs: | , |
|---|---|
| Drugi avtorji: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
1381 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming languages and systems, 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996, proceedings, Chris Hankin, ed, 1998, Berlin, Springer, 1 vol. (X-281 p.), Lecture notes in computer science, 3-540-64302-8 • Programming Languages and Systems, Texte imprimé, 9783662184035 |
| LEADER | 03515nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 945229 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15521912X | ||
| 020 | |a 9783540697220 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a European symposium on programming |n (07 |d :1998 |c :Lisbonne). | |
| 245 | 1 | 0 | |a Programming languages and systems : |b 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings |c [edited by] Chris Hankin. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1381 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Concurrent constraint programming based on functional programming -- A bisimulation method for cryptographic protocols -- A polyvariant binding-time analysis for off-line partial deduction -- Verifiable and executable logic specifications of concurrent objects in | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Hankin, Chris, |d 1954- |4 pbd | |
| 711 | 2 | |a European joint conferences on theory and practice of software |n (01 |d :1998 |c :Lisbonne). |4 aut | |
| 776 | 0 | |0 035794062 |t Programming languages and systems |o 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 |o proceedings |f Chris Hankin, ed |d 1998 |c Berlin |n Springer |p 1 vol. (X-281 p.) |s Lecture notes in computer science |z 3-540-64302-8 | |
| 776 | 0 | |t Programming Languages and Systems |b Texte imprimé |z 9783662184035 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0053558 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-10RSVKFN-F |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747891826 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0053558 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750904917 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0053558 |z Accès INSA CVL | |
| 997 | |0 945229 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||