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

Download

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.
ISBN:978-3-642-40228-9
Publication Date:Aug 2013
Publisher:Springer
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
Pages:275
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

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
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

Thrice the Brinded Cat Hath Mew'd
Bradley, Alan
Hardback: $26.00
The Iliad
Homer
Paperback: $17.99
The Invention of Nature
Wulf, Andrea
Paperback: $17.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.