Von dem Buch Logics of Programs and their Applications : proceedings, Poznan, Aug. 23-29, 1980. ed. by A. Lecture notes in computer science , 148 haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Salwicki, Andrzej [Hrsg.]: Logics of Programs and their Applications : proceedings, Poznan, Aug. 23-29, 1980. ed. by A. Lecture notes in computer science , 148 (ISBN: 9783540119814) Erstausgabe, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
38%: Symposium on Logics of Programs and Their Applications, Editor: Andrzej Salwicki: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148) (ISBN: 9780387119816) 1983, Springer-Verlag, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Logics of Programs and their Applications : proceedings, Poznan, Aug. 23-29, 1980. ed. by A. Lecture notes in computer science , 148
13 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 | 2019 | 2022 |
|---|---|---|---|---|---|
| Schnitt | € 20,05 | € 23,41 | € 37,24 | € 23,99 | € 24,97 |
| Nachfrage |
1
Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148) (1983)
EN PB USISBN: 9780387119816 bzw. 0387119817, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Orca Knowledge Systems, Inc, CA, Novato, [RE:5].
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. Paperback.
Von Händler/Antiquariat, Orca Knowledge Systems, Inc, CA, Novato, [RE:5].
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. Paperback.
2
Logics of Programs and Their Applications (1983)
~EN PB NWISBN: 9783540119814 bzw. 3540119817, vermutlich in Englisch, Springer, Taschenbuch, neu.
Lieferung aus: Deutschland, Lieferbar in 2 - 3 Tage.
Proceedings, Poznan, August 23-29, 1980 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. 01.01.1983, Taschenbuch.
Proceedings, Poznan, August 23-29, 1980 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. 01.01.1983, Taschenbuch.
3
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (1980)
~EN NWISBN: 9783540119814 bzw. 3540119817, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Kanada, Lagernd, zzgl. Versandkosten.
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.
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.
4
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148) (1983)
EN PB USISBN: 9780387119816 bzw. 0387119817, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, 5Boros Books, NJ, SUMMIT, [RE:4].
Some may have high-lighting or writings, some are ex-library. Other.
Von Händler/Antiquariat, 5Boros Books, NJ, SUMMIT, [RE:4].
Some may have high-lighting or writings, some are ex-library. Other.
5
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980
EN USISBN: 9783540119814 bzw. 3540119817, in Englisch, Springer Berlin Heidelberg, Springer Berlin Heidelberg, Springer Berlin Heidelberg, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science) (1983)
DE US FEISBN: 9783540119814 bzw. 3540119817, in Deutsch, Springer, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Great condition for a used book! Minimal wear.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Great condition for a used book! Minimal wear.
7
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science) (1980)
DE USISBN: 9783540119814 bzw. 3540119817, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, gebraucht.
Von Händler/Antiquariat, BookSleuth [58350165], Danville, CA, U.S.A.
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science).
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science).
8
Symbolbild
Logics of Programs and their Applications : proceedings, Poznan, Aug. 23-29, 1980. ed. by A. Lecture notes in computer science , 148 (1980)
~ENISBN: 9783540119814 bzw. 3540119817, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland.
Lieferung aus: Deutschland, zzgl. Versandkosten.
Von Händler/Antiquariat, Wissenschaftliches Antiquariat Heinz Buschulte.
VI, 324 S. : graph. Darst. , 24 cm.
Von Händler/Antiquariat, Wissenschaftliches Antiquariat Heinz Buschulte.
VI, 324 S. : graph. Darst. , 24 cm.
9
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148) (1983)
EN PB USISBN: 9780387119816 bzw. 0387119817, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, 5Boros Books, NJ, SUMMIT, [RE:4].
Very nice copy. Other.
Von Händler/Antiquariat, 5Boros Books, NJ, SUMMIT, [RE:4].
Very nice copy. Other.
10
Lade…