Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980: 148 (Lecture Notes in Computer Science) - Tapa blanda
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Logics of Programs and Their Applications: Proceedings,...
Imagen de archivo
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science) Salwicki, A.
Librería: CONTINENTAL MEDIA & BEYOND, Ocala, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: 1221NFCFIVJ
Comprar usado
EUR 8,86
Gastos de envío:
EUR 6,01
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Nº de ref. del artículo: UTD1421466
Comprar usado
EUR 22,49
Gastos de envío:
EUR 6,01
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540119814_new
Comprar nuevo
EUR 28,10
Gastos de envío:
EUR 13,55
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020159633
Comprar nuevo
EUR 38,98
Gastos de envío:
EUR 3,43
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Programs and Their Applications
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 336. Nº de ref. del artículo: 263101740
Comprar nuevo
EUR 40,77
Gastos de envío:
EUR 3,43
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logics of Programs and Their Applications
Publicado por
Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119817
ISBN 13: 9783540119814
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 336 pp. Englisch. Nº de ref. del artículo: 9783540119814
Comprar nuevo
EUR 24,60
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Logics of Programs and Their Applications
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 336 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5827571
Comprar nuevo
EUR 40,27
Gastos de envío:
EUR 7,35
De Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logics of Programs and Their Applications
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 336. Nº de ref. del artículo: 183101734
Comprar nuevo
EUR 41,61
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logics of Programs and Their Applications
Publicado por
Springer Berlin Heidelberg, 1983
ISBN 10: 3540119817
ISBN 13: 9783540119814
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 prioriti. Nº de ref. del artículo: 4881619
Comprar nuevo
EUR 24,66
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logics of Programs and Their Applications
Publicado por
Springer Berlin Heidelberg, J.B. Metzler Jan 1983, 1983
ISBN 10: 3540119817
ISBN 13: 9783540119814
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch. Nº de ref. del artículo: 9783540119814
Comprar nuevo
EUR 24,60
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles