Order Total (1 Item Items):
Shipping Destination:
Logics Programs Applications Proceedings (10 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (10)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (4)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (10)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (10)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. Condition: 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.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980
Published by Springer-Verlag, Berlin, Heidelberg, New York, 1983
ISBN 10: 0387119817 ISBN 13: 9780387119816
Language: English
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Association Member: ABAA CBA ILAB
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Berlin, Heidelberg, New York: Springer-Verlag, 1983. VI, 324 pp. 24 x 16.5 cm. Stiff paper wrappers printed silver and maroon. Some light irregular-shaped creasing to front cover, with small mark in black felt tip pen over ISBNs on rear cover. Light toning throughout interior, which is clean and unmarked. Binding sound with no creasing or cracks. Soft Cover. Very Good.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Seller: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Unread. Non circulating ex University of California, Berkeley reference Math/Stat Library book with some library markings. No other marks in unread book. Softcover overbound in stiff library boards. Light wear. Binding is tight, text clean.
-
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
-
Condition: New. SUPER FAST SHIPPING.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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.
-
Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980
Published by Springer Berlin Heidelberg, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
Language: English
Taschenbuch. Condition: 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.
-
Paperback. Condition: Very Good. Very Good. book.
