booktheque

Formal Modeling and Analysis of Timed Systems

Marcin Jurdzinski, Dejan Nickovic · 2012

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2012
Language
English
Publisher
Springer Berlin / Heidelberg
Editions
1
Pages
267
ISBN
9783642333644

Data source: Wikidata