booktheque

Formal methods and hybrid real-time systems

D. Bjørner, Jones, C. B., Jim Woodcock · 2007

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
2007
Language
English
Series
LNCS sublibrary
Publisher
Springer
Editions
2
Pages
538
ISBN
9783540752202

Data source: Wikidata

More by D. Bjørner

Perspectives of system informatics
D. Bjørner · 2000
Logics of specification languages
D. Bjørner · 2007
Formal methods in programming and their applications
D. Bjørner · 1993
The Vienna development method
D. Bjørner · 1978
The Vienna development method
D. Bjørner · 1978