Clarke kozen (9 resultados)
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,59
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 55,16
Envío por EUR 18,07Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,28
Envío por EUR 64,05Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - A static analysis of CSP programs.- Compactness in semantics for merge and fair merge.- Algebraic tools for system construction.- PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness.- The intr…actability of validity in logic programming and dynamic logic.- A semantics and proof system for communicating processes.- Non-standard fixed points in first order logic.- Automatic verification of asynchronous circuits.- Mathematics as programming.- Characterization of acceptable by algol-like programming languages.- A rigorous approach to fault-tolerant system development.- A sound and relatively complete axiomatization of clarke's language L4.- Deciding branching time logic: A triple exponential decision procedure for CTL.- Equations in combinatory algebras.- Reasoning about procedures as parameters.- Introducing institutions.- A complete proof rule for strong equifair termination.- Necessary and sufficient conditions for the universality of programming formalisms.- There exist decidable context free propositonal dynamic logics.- A decision procedure for the propositional -calculus.- A verifier for compact parallel coordination programs.- Information systems, continuity and realizability.- A complete system of temporal logic for specification schemata.- Reasoning in interval temporal logic.- Hoare's logic for programs with procedures - What has been achieved .- A theory of probabilistic programs.- A low level language for obtaining decision procedures for classes of temporal logics.- Deriving efficient graph algorithms (summary).- An introduction to specification logic.- An interval-based temporal logic.- Property preserving homomorphisms of transition systems.- From denotational to operational and axiomatic semanticsfor ALGOL-like languages: An overview.- Yet another process logic.- A proof system for partial correctness of dynamic networks of processes.- Errata.
Idioma: Inglés
Editorial: Springer Heidelberg, 1984
- Tapa blanda
Librería: ralfs-buecherkiste, Herzfelde, MOL, Alemaniaralfs-buecherkiste
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 17,00
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback/ broschiert. Condición: Gut. 527 S. Programmierung Datenverarbeitung Mathematische Logik Mathematik guter Zustand/ good Ex-Library. Brownish paper. ha1082263 Sprache: Englisch Gewicht in Gramm: 900.
- Tapa blanda
- Impresión bajo demanda
Librería: Basi6 International, Irving, TX, Estados Unidos de AmericaBasi6 International
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,89
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,28
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A static analysis of CSP programs.- Compactness in semantics for merge and fair merge.- Algebraic tools for system construction.- PC-compactness, a necessary condition for the existence of sound and complete logics of partial correc…tness.- The intractability of validity in logic programming and dynamic logic.- A semantics and proof system for communicating processes.- Non-standard fixed points in first order logic.- Automatic verification of asynchronous circuits.- Mathematics as programming.- Characterization of acceptable by algol-like programming languages.- A rigorous approach to fault-tolerant system development.- A sound and relatively complete axiomatization of clarke's language L4.- Deciding branching time logic: A triple exponential decision procedure for CTL.- Equations in combinatory algebras.- Reasoning about procedures as parameters.- Introducing institutions.- A complete proof rule for strong equifair termination.- Necessary and sufficient conditions for the universality of programming formalisms.- There exist decidable context free propositonal dynamic logics.- A decision procedure for the propositional -calculus.- A verifier for compact parallel coordination programs.- Information systems, continuity and realizability.- A complete system of temporal logic for specification schemata.- Reasoning in interval temporal logic.- Hoare's logic for programs with procedures ¿ What has been achieved .- A theory of probabilistic programs.- A low level language for obtaining decision procedures for classes of temporal logics.- Deriving efficient graph algorithms (summary).- An introduction to specification logic.- An interval-based temporal logic.- Property preserving homomorphisms of transition systems.- From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview.- Yet another process logic.- A proof system for partial correctness of dynamic networks of processes.- Errata. 540 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 45,74
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A static analysis of CSP programs.- Compactness in semantics for merge and fair merge.- Algebraic tools for system construction.- PC-compactness, a necessary condition for the existence of sound and complete logics of… partial correctness.- The intractabilit.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,28
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A static analysis of CSP programs.- Compactness in semantics for merge and fair merge.- Algebraic tools for system construction.- PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctnes…s.- The intractability of validity in logic programming and dynamic logic.- A semantics and proof system for communicating processes.- Non-standard fixed points in first order logic.- Automatic verification of asynchronous circuits.- Mathematics as programming.- Characterization of acceptable by algol-like programming languages.- A rigorous approach to fault-tolerant system development.- A sound and relatively complete axiomatization of clarke's language L4.- Deciding branching time logic: A triple exponential decision procedure for CTL.- Equations in combinatory algebras.- Reasoning about procedures as parameters.- Introducing institutions.- A complete proof rule for strong equifair termination.- Necessary and sufficient conditions for the universality of programming formalisms.- There exist decidable context free propositonal dynamic logics.- A decision procedure for the propositional -calculus.- A verifier for compact parallel coordination programs.- Information systems, continuity and realizability.- A complete system of temporal logic for specification schemata.- Reasoning in interval temporal logic.- Hoare's logic for programs with procedures - What has been achieved .- A theory of probabilistic programs.- A low level language for obtaining decision procedures for classes of temporal logics.- Deriving efficient graph algorithms (summary).- An introduction to specification logic.- An interval-based temporal logic.- Property preserving homomorphisms of transition systems.- From denotational to operational and axiomatic semanticsfor ALGOL-like languages: An overview.- Yet another process logic.- A proof system for partial correctness of dynamic networks of processes.- Errata.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 540 pp. Englisch.
Más imágenes- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 47,50
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Logics of Programs | Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 | E. Clarke (u. a.) | Taschenbuch | vi | Englisch | 1984 | Springer | EAN 9783540128960 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]sprin…ger[dot]com | Anbieter: preigu Print on Demand.
