Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Zwiers, J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer 1989
Σειρά:	Lecture Notes in Computer Science 321
Θέματα:	ΕΣΑ COMPUTER NETWORKS LNCS

Παρόμοια τεκμήρια

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

Verification of sequential and concurrent programs
ανά: Apt, Krzysztof
Έκδοση: (1997)

Principles of Data Mining and Knowledge Discovery First European Symposium, PKDD '97 Trondheim, Norway, June 24-27, 1997 Proceedings
Έκδοση: (1997)

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Concurrent programming in ML
ανά: Reppy, John H.
Έκδοση: (1999)

Handbook of proof theory
Έκδοση: (1998)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

The Psychology of Proof Deductive Reasoning in Human Thinking
ανά: Rips, Lance J.
Έκδοση: (1994)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Έκδοση: (1986)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

Circuit Complexity and Neural Networks
ανά: Parberry, Ian
Έκδοση: (1994)

Principles of transaction processing
ανά: Bernstein, Philip A., κ.ά.
Έκδοση: (1997)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

Distributed Programming Paradigms with Cryptography Applications
ανά: GREENFIELD, JONATHAN S.
Έκδοση: (1994)

Advances in Cryptology - CRYPTO '89 Proceedings
Έκδοση: (1990)

Advances in Cryptology - CRYPTO '90 Proceedings
Έκδοση: (1991)

Game Theory A nontechnical introduction
ανά: Davis, Morton D.
Έκδοση: (1983)

Executive briefing Advances in concurrency control and transaction processing
ανά: Ramamritham, Krithi
Έκδοση: (1997)

Handbook of Graphs and Networks From the Genome to the Internet
Έκδοση: (2003)

Research directions in concurrent object-oriented programming
ανά: Agha, Gul
Έκδοση: (1993)

Mathematics for the analysis of algorithms
ανά: Greene, Daniel H., κ.ά.
Έκδοση: (1990)

String Searching Algorithms
ανά: Stephen, Graham A.
Έκδοση: (1994)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

The Visual Mind Art and Mathematics
Έκδοση: (1993)

Problems on Algorithms
ανά: Parberry, Ian
Έκδοση: (1995)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών