Logics programs applications proceedings (6 résultats)

Etat : Used: Good. former library 1983 rebound paperback bound in hardcasing withdrawn stamp in book/ on edge of pages clean text tanned pages has book plate 324 pages/// J-18.

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Etat : New. In English.

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Taschenbuch. Etat : Neu. Logics of Programs and Their Applications | Proceedings, Poznan, August 23-29, 1980 | A. Salwicki | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1983 | Springer | EAN 9783540119814 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. …