Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
148 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logics of programs and their applications, proceedings, Poznan, August 23-29, 1980, edited by A. Salwicki, Berlin, Springer-Verlag, 1983, 1 vol. (VI-324 p.), Lecture notes in computer science, 0-387-11981-7 • Logics of Programs and Their Applications, Texte imprimé, 9783662191408 |
| LEADER | 03558nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 945307 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155222600 | ||
| 020 | |a 9783540394457 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 001.642 | ||
| 111 | 2 | |a Symposium on logics of programs and their applications |d (1980 |c :Poznán). | |
| 245 | 1 | 0 | |a Logics of programs and their applications : |b proceedings, Poznan, August 23-29, 1980 |c edited by A. Salwicki. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 148 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Sharpening the characterization of the power of Floyd method -- On proving program correctness by means of stepwise refinement method -- Semantics and implementation of prefixing at many levels -- Nonstandard models in Propositional Dynamic Logic -- On priorities of parallelism: Petri nets under the maximum firing strategy -- On four logics of programs and complexity of their satisfiability problems : Extended abstract -- Are infinite behaviours of parallel system schemata necessary? -- Algorithmic properties of finitely generated structures -- Algebraic semantics and program logics: Algorithmic logic for program trees -- Some model-theoretical properties of logic for programs with random control -- A formal system for parallel programs in discrete time and space -- On the propositional algorithmic theory of arithmetic -- Nonstandard runs of Floyd-provable programs -- On some extensions of dynamic logic -- On algorithmic logic with partial operations -- Towards a theory of parallelism and communications for increasing efficiency in applicative languages -- An operational semantics for CSP -- Programming languages and logics of programs -- Concurrent programs -- Axiomatic approach to the system of files -- A sequent calculus for Kröger logic -- On axiomatization of process logic -- Filtration theorem for dynamic algebras with tests and inverse operator. | |
| 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 | ||
| 650 | |a Informatique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Salwicki, Andrzej. |4 pbd | |
| 776 | 0 | |0 025024000 |t Logics of programs and their applications |o proceedings, Poznan, August 23-29, 1980 |f edited by A. Salwicki |c Berlin |n Springer-Verlag |d 1983 |p 1 vol. (VI-324 p.) |s Lecture notes in computer science |z 0-387-11981-7 | |
| 776 | 0 | |t Logics of Programs and Their Applications |b Texte imprimé |z 9783662191408 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-11981-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-QB54GVBG-R |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747911770 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-11981-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092456X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-11981-7 |z Accès INSA CVL | |
| 997 | |0 945307 |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/ | ||