Del 224 - Lecture Notes in Computer Science

Current Trends in Concurrency

Overviews and Tutorials

Häftad, Engelska, 1986

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

1 449 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-06-01
Mått155 x 235 x 40 mm
Vikt1 089 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor718
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540164883

Tillhör följande kategorier

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

Kafé Pumpkin Spice

Nyhet

Del 1

Kafé Pumpkin Spice

79 kr125 kr

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

Del 354

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

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

1 449 kr

Stepwise Refinement of Distributed Systems

Del 430

Stepwise Refinement of Distributed Systems

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

1 449 kr

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Nyhet

Pixi adventskalender 2025 : Med böcker av Maria Trolle, Maria Nilsson Thore, Johan Anderblad, Filippa Widlund, Mårten Melin Elsa Beskow, Lotta Olsson mfl

Flera Författare

289 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

259 kr

PARLE Parallel Architectures and Languages Europe

Del 259

PARLE Parallel Architectures and Languages Europe

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

689 kr

Formal Techniques in Real-Time and Fault-Tolerant Systems

Del 863

Formal Techniques in Real-Time and Fault-Tolerant Systems

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Willem-Paul De Roever

1 449 kr

Jul med guldkant

Nyhet

Jul med guldkant

Catarina König

299 kr349 kr

PARLE Parallel Architectures and Languages Europe

Del 258

PARLE Parallel Architectures and Languages Europe

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

689 kr

Programming Concepts and Methods PROCOMET ’98

Programming Concepts and Methods PROCOMET ’98

David Gries, Willem-Paul de Roever

2 869 kr