Current Trends in Concurrency

Overviews and Tutorials

AvJacobus W. De Bakker,Willem-Paul De Roever

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

1 138 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-06-01
Mått:155 x 235 x 40 mm
Vikt:1 089 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:718
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164883

Utforska kategorier

Innehållsförteckning

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming.

Du kanske också är intresserad av

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Häftad, 1989

1 138 kr

Stepwise Refinement of Distributed Systems

Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

Häftad, 1990

1 138 kr

PARLE Parallel Architectures and Languages Europe

Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven

Häftad, 1987

539 kr

PARLE Parallel Architectures and Languages Europe

Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven

Häftad, 1987

539 kr

Formal Methods for Components and Objects

Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

E-bok

2006

739 kr

Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12

David Gries, Willem-Paul de Roever

672 kr

Formal Methods for Components and Objects

Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

E-bok

2005

739 kr

Compositionality: The Significant Difference

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

Häftad, 1998

1 138 kr

Formal Methods for Components and Objects

Willem-Paul de Roever, Susanne Graf, Marcello M. Bonsangue, Frank S. de Boer

E-bok

2008

739 kr

Programming Concepts and Methods PROCOMET '98

Willem-Paul de Roever, David Gries

E-bok

2013

2 925 kr

Current Trends in Concurrency

Overviews and Tutorials

AvJacobus W. De Bakker,Willem-Paul De Roever

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

1 138 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1986-06-01
Mått:155 x 235 x 40 mm
Vikt:1 089 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:718
Upplaga:1986
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540164883

Utforska kategorier

Innehållsförteckning

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming.