Da: CONTINENTAL MEDIA & BEYOND, Ocala, FL, U.S.A.
Paperback. Condizione: Used: Good. xlibrary 1990 paperback vol 414 withdrawn stamp in book/ on edge of pages clean text 133 pages/// M-2.
Paperback. Condizione: 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.
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
EUR 7,45
Quantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: 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.
Da: Reader's Corner, Inc., Raleigh, NC, U.S.A.
Prima edizione
Trade Paperback. Condizione: Fine. First Edition. This is a fine, unmarked, first paperback edition, silver spine.
Paperback. Condizione: 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.
Lingua: Inglese
Editore: Springer-Verlag, Berlin, Heidelberg, New York, 1983
ISBN 10: 0387119817 ISBN 13: 9780387119816
Da: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Paperback. Condizione: 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.
Lingua: Inglese
Editore: Academic Press Inc. (London) Ltd., London, 1989
ISBN 10: 0121746909 ISBN 13: 9780121746902
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
EUR 8,91
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Good. Condizione sovraccoperta: 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. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Da: madelyns books, Suffolk, Regno Unito
EUR 10,57
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 39,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 28,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Kluwer Academic Publishers, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Da: Ammareal, Morangis, Francia
EUR 22,04
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
Lingua: Inglese
Editore: Kluwer Academic Publishers, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Da: Ammareal, Morangis, Francia
EUR 22,49
Quantità: 1 disponibili
Aggiungi al carrelloNo jacket. Condizione: 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.
Condizione: New. pp. 336.
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
EUR 39,48
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 52,50
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 56,98
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Da: ALLBOOKS1, Direk, SA, Australia
EUR 82,70
Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno Unito
EUR 9,07
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very Good. Minor shelfwear to bookcovers and extremities of book, previous owners signature on inside front cover and title page, otherwise fine.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 24,60
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 68,87
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Very Good. book.
EUR 89,13
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 382 pages. 9.25x6.00x0.87 inches. In Stock.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1990
ISBN 10: 3540523251 ISBN 13: 9783540523253
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 123,49
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. Ships from Multiple Locations. book.
EUR 203,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 229,88
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 218,83
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Springer Netherlands, Springer Netherlands Nov 1987, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 213,99
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.