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.

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer ScienceFormal Modeling and Analysis of Timed Systems
            
                Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science

Claude Jard

Details

OL Work ID
OL17546726W

Subjects

Logic designInformation theoryComputer system performanceComputer scienceSoftware engineeringComputer simulationCongressesTemporal automataFormal methods (Computer science)

Find this book

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