Salwicki (33 results)

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Condition: Used: Good. xlibrary 1990 paperback vol 414 withdrawn stamp in book/ on edge of pages clean text 133 pages/// M-2.

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.

gebundene Ausgabe. Condition: Gut. 368 Seiten; Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch; ordnungsgemäß entwidmet. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 590.

Trade Paperback. Condition: Fine. First Edition. This is a fine, unmarked, first paperback edition, silver spine.

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.

Hardcover. Condition: Good. Dust Jacket Condition: No Dust Jacket. Hardcover. APIC Studies in Data Processing, No. 30. Printed boards. No jacket as intended. Superficial marks on boards. Spine base is slightly bumped. Pages are in very good condition. BW. Used.

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.

Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Condition: Used: Very Good. Ex library so some stamps etc. VERY GOOD CLEAN COPY SENT NEXT WORKING DAY FROM THE U/K 1ST CLASS 0.0.

Condition: Very Good. Minor shelfwear to bookcovers and extremities of book, previous owners signature on inside front cover and title page, otherwise fine.

Condition: New. In.

No jacket. Condition: Très bon. Ancien livre de bibliothèque. Sans jaquette. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.

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.

Hardcover. Condition: Good. Library-withdrawn hardcover with typical library markings. 372 pages, text unmarked. The cloth exterior is VG with slight wear and lower spine library label. Without DJ. [1.5 lbs]. Book.

Condition: New. In.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

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: Brand New. 382 pages. 9.25x6.00x0.87 inches. In Stock.

Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: New. In.

33 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 337) Sprache: Englisch.

Buch. Condition: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Taschenbuch. Condition: 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.

Condition: 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.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative programming: primitive types do not need to be objects; records, static arrays, subtypes and other similar type contructs are admitted. LOGLAN has non-traditional memory model which accepts programmed deallocation but avoids dangling reference. The LOGLAN semantic model provides multi-level inheritance, which properly cooperates with module nesting. Parallelism in LOGLAN has an object oriented nature. Processes are treated like objects of classes and communication between processes is provided by alien calls similar to remote calls. 148 pp. Englisch.

Taschenbuch. Condition: 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.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. LOGLAN 88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative p.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative programming: primitive types do not need to be objects; records, static arrays, subtypes and other similar type contructs are admitted. LOGLAN has non-traditional memory model which accepts programmed deallocation but avoids dangling reference. The LOGLAN semantic model provides multi-level inheritance, which properly cooperates with module nesting. Parallelism in LOGLAN has an object oriented nature. Processes are treated like objects of classes and communication between processes is provided by alien calls similar to remote calls.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.