Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

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

School/Workshop

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

Springer · 1989 · Paperback

₹4,740

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–5 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns.
  • Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹4,313 for this book (save ₹427).

9% off every book, up to ₹500 off per order.

About this book

Published by Springer in 1989, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop by Jacobus W.

Topics covered include Parallel processing (Electronic computers), Distributed processing, Electronic data processing and Rex.

About the author: J. W. de Bakker (born 1939).

Book details

ISBN-13
9783540510802
ISBN-10
354051080X
Authors
Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Publisher
Springer
Author dates
J. W. de Bakker (born 1939)
Published
1989
Edition
1 edition
Binding
Paperback
Pages
713
Language
English
Condition
New
Subject
Distributed processing

More by Jacobus W. De Bakker and related titles