Produktbild
Jacobus W. de (Hrsg.) Bakker

Current Trends in Concurrency

Overviews and Tutorials

Buch

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 specific… Mehr

CHF 165.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Roever, Willem-Paul De (Hrsg.) / Rozenberg, Grzegorz (Hrsg.)
  • ISBN: 978-3-540-16488-3
  • EAN: 9783540164883
  • Produktnummer: 3242152
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1986
  • Seitenangabe: 732 S.
  • Masse: H23.5 cm x B15.5 cm x D3.8 cm 1'089 g
  • Auflage: 1986
  • Abbildungen: Paperback
  • Gewicht: 1089

3 weitere Werke von Jacobus W. de (Hrsg.) Bakker:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.