Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title


Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Formal Modeling and Analysis of Timed Systems( )
Editor: Braberman, Vctor
Fribourg, Laurent
Series title:Lecture Notes in Computer Science Ser.
Publication Date:Aug 2013
Book Format:Paperback
List Price:USD $72.00
Book Description:

This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets,...
More Description

Book Details
Detailed Subjects: Computers / Computer Simulation
Computers / Software Development & Engineering / Systems Analysis & Design
Computers / Machine Theory
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.234 Inches
Book Weight:0.977 Pounds

Book Seller





Loading Stock Details...

Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Miss Peregrine's Home for Peculiar Children
Riggs, Ransom
Paperback: $11.99
Aurelius, Marcus
Paperback: $11.99
Aurelius, Marcus
Paperback: $8.65

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.