Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Concurrency and hardware design

Concurrency and hardware design

Grzegorz Rozenberg

Details

OL Work ID
OL18426894W

Subjects

Electronic digital computersParallel processing (Electronic computers)Petri netsDesign and constructionElectronic digital computers, design and constructionOrdinateursConception et constructionParallélisme (Informatique)Pétri, Réseaux deAsynchrones SchaltwerkEingebettetes SystemEntwurfsautomationFormale MethodeLeistungsbewertungNebenläufigkeitPetri-NetzSystementwurfVerifikation

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.