Gesamtpreis (1 Artikel Artikel):
Versandziel:
salwicki (30 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (30)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (20)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (7)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (13)
- Keine Print-on-Demand Angebote (19)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
LOGLAN '88 - Report on the Programming Language (Lecture Notes in Computer Science, 414)
Anbieter: CONTINENTAL MEDIA & BEYOND, Ocala, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Used: Good. xlibrary 1990 paperback vol 414 withdrawn stamp in book/ on edge of pages clean text 133 pages/// M-2.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Anbieter: CONTINENTAL MEDIA & BEYOND, Ocala, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Loglan '88 : Report on the Programming Language
Anbieter: Reader's Corner, Inc., Raleigh, NC, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Trade Paperback. Zustand: Fine. First Edition. This is a fine, unmarked, first paperback edition, silver spine.
-
Advanced Programming Methodologies
Sprache: Englisch
Verlag: Academic Press Inc. (London) Ltd., London, 1989
ISBN 10: 0121746909 ISBN 13: 9780121746902
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,92
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Advanced Programming Methodologies; Apic Studies in Data Processing; 30;
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Advanced Programming Methodologies (Apic Studies in Data Processing)
Anbieter: madelyns books, Suffolk, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 10,58
EUR 19,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 29,95
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: New. pp. 336.
-
Algorithmic Logic
Sprache: Englisch
Verlag: D. Reidel Publishing Company, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: Charles Berry, Bookseller, Lakeport, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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.
-
Advanced Programming Methodologies
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Taschenbuch. Zustand: Neu. Logics of Programs and Their Applications | Proceedings, Poznan, August 23-29, 1980 | A. Salwicki | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1983 | Springer | EAN 9783540119814 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Advanced Programming Methodologies
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 89,21
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 382 pages. 9.25x6.00x0.87 inches. In Stock.
-
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 105,71
EUR 12,28 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 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.
-
Advanced Programming Methodologies (Apic Studies in Data Processing)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 121,22
EUR 28,84 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Zustand: New.
-
Algorithmic Logic
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 224,65
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algorithmic Logic
Sprache: Englisch
Verlag: Springer Netherlands, Springer Netherlands, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
-
On algorithmic theory of stacks.
Verlag: Warszawa, 1978
Anbieter: Zentralantiquariat Leipzig GmbH, Leipzig, Deutschland
Verkäuferbewertung 5 von 5 Sternen
33 S. OBr. Klammerbind. etwas angerostet. (Prace IPI PAN 337) Sprache: Englisch.
-
Logics of Programs and Their Applications
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 39,95
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 336 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Logics of Programs and Their Applications
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jan 1983, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Logics of Programs and Their Applications
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 336.
-
Logics of Programs and Their Applications
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
EUR 24,66
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
-
LOGLAN '88 - Report on the Programming Language
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1990, 1990
ISBN 10: 3540523251 ISBN 13: 9783540523253
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Logics of Programs and Their Applications
Sprache: Englisch
Verlag: Springer, Springer Jan 1983, 1983
ISBN 10: 3540119817 ISBN 13: 9783540119814
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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 KG, Sachsenplatz 4-6, 1201 Wien 336 pp. Englisch.
-
LOGLAN 88 - Report on the Programming Language
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1990
ISBN 10: 3540523251 ISBN 13: 9783540523253
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
-
EUR 180,07
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
-
Algorithmic Logic
Sprache: Englisch
Verlag: Springer Netherlands Nov 1987, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 384 pp. Englisch.
-
Buch. Zustand: Neu. Algorithmic Logic | A. Salwicki (u. a.) | Buch | xi | Englisch | 1987 | Springer Netherland | EAN 9789027719287 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
-
Algorithmic Logic
Sprache: Englisch
Verlag: Springer Netherlands, Springer Netherlands Nov 1987, 1987
ISBN 10: 9027719284 ISBN 13: 9789027719287
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.
