D kozen (8 Ergebnisse)

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Oct 26 (SALE item)* 429 pp., Paperback, ex library, spine and joints worn, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:0387976876.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. With contributions by nummerous expertsProof rules dealing with fairness.- Hoare s Logic is incomplete when it does not have to be.- The refinement of specifications and the stability of Hoare s Logic.- Toward a logical theory of program data.- Design a.

Taschenbuch. Zustand: Neu. Neuware - With contributions by nummerous experts.

Taschenbuch. Zustand: 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 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.…

Paperback/ broschiert. Zustand: Gut. 527 S. Programmierung Datenverarbeitung Mathematische Logik Mathematik guter Zustand/ good Ex-Library. Brownish paper. ha1082263 Sprache: Englisch Gewicht in Gramm: 900.