Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
gebundene Ausgabe. Zustand: 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.
Sprache: Englisch
Verlag: Academic Press Inc. (London) Ltd., London, 1989
ISBN 10: 0121746909 ISBN 13: 9780121746902
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
EUR 8,92
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Zustand des Schutzumschlags: 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.
Sprache: Englisch
Verlag: Springer-Verlag, Berlin, Heidelberg, New York, 1983
ISBN 10: 0387119817 ISBN 13: 9780387119816
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Paperback. Zustand: 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.
Anbieter: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Vereinigtes Königreich
EUR 9,08
Anzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Minor shelfwear to bookcovers and extremities of book, previous owners signature on inside front cover and title page, otherwise fine.
Sprache: Englisch
Verlag: Kluwer Academic Publishers, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: Ammareal, Morangis, Frankreich
EUR 22,49
Anzahl: 1 verfügbar
In den WarenkorbNo jacket. Zustand: 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.
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
EUR 39,55
Anzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
EUR 89,23
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 382 pages. 9.25x6.00x0.87 inches. In Stock.
Verlag: Warszawa, 1978
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
33 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 337) Sprache: Englisch.
Sprache: Englisch
Verlag: Springer Netherlands, Springer Netherlands Nov 1987, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Buch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.
Sprache: Englisch
Verlag: Springer Netherlands, Springer Netherlands, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.