Nonficionado Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | Yesterday, 10:00am

    Matthieu Ricard: IMG The Altruism Revolution



    With the famous phrase "Nature, red in tooth and claw," the Victorian poet Tennyson expressed the challenge that the emerging science of evolution... Continue »
    1. $21.00 Sale Hardcover add to wish list

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings

by

CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.

Product Details

ISBN:
3330000239046
Subtitle:
Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997: Proceedings
Publisher:
Springer
Author:
Mazurkiewicz, Antoni
Author:
Winkowski, Józef
Subject:
Parallel processing (Electronic computers)
Subject:
Congresses
Subject:
Logic Design
Subject:
Networking - General
Subject:
Programming - General
Subject:
Artificial Intelligence - Fuzzy Logic
Subject:
Hybride Systeme
Subject:
Lineare zeitabhängige Logik
Subject:
Modellprüfung
Subject:
Nebenläufigkeit
Subject:
Reaktive Systeme
Subject:
concurrency
Subject:
hybrid systems
Subject:
linear temporal logic
Subject:
model checking
Subject:
Reactive Systems
Subject:
Logics and Meanings of Programs
Subject:
Computation by Abstract Devices
Subject:
Programming Languages, Compilers, Interpreters
Subject:
Programming techniques
Subject:
Computer Communication Networks
Subject:
main_subject
Subject:
all_subjects
Publication Date:
1997
Binding:
ELECTRONIC
Language:
English
Pages:
420

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computer Architecture » Parallel
Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Software Engineering » Programming and Languages

CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
0 stars - 0 reviews
$ In Stock
Product details 420 pages Springer - English 3330000239046 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.