Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
₹4,740
Current Trends in Concurrency
Overviews and Tutorials
by Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
Springer · 1986 · Paperback
₹4,955
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 1986, Current Trends in Concurrency: Overviews and Tutorials by Jacobus W. De Bakker, Willem-Paul de Roever & others runs to 716 pages in paperback.
Topics covered include Information Technology and Logic Design.
Book details
- ISBN-13
- 9783540164883
- ISBN-10
- 354016488X
- Authors
- Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
- Publisher
- Springer
- Published
- 1986
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 716
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Jacobus W. De Bakker and related titles
Parle Parallel Architectures and Languages Europe
Jacobus W. De Bakker, A. J. Nijman, Philip C. Treleaven
₹5,493
Constraints in Computational Logics
Hubert Comon, Claude Marche, Ralf Treinen
₹3,749
Übersetzerbau
Ralf Hartmut Güting, Martin Erwig
₹2,415
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
₹5,618
Computer Engineering and Technology
Weixia Xu
₹4,200
Functional and Logic Programming
Fuji International Symposium on Functional and Logic Programming (9th 2008 Ise-shi, Japan)
₹4,279
Programming Languages and Their Definition
H. Bekic, C. B. Jones
₹5,518
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Petrinetze
Wolfgang Reisig
₹3,508
Logic and Computer Design Fundamentals, Global Edition
Morris Mano, Charles Kime, Tom Martin
₹6,828