Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote, Kim Guldstrand Larsen · 2021

Where to buy

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

Book details

Year: 2021
Language: English
Publisher: Springer International Publishing AG
Editions: 2
ISBN: 9783030720155

Data source: Wikidata

More by Jan Friso Groote

Logical Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote

Logical Gates, Circuits, Processors, Compilers and Computers

Jan Friso Groote · 2021

Modeling and Analysis of Communicating SystemsJan Friso Groote

Modeling and Analysis of Communicating Systems

Jan Friso Groote · 2014

Formal Methods for Industrial Critical SystemsJan Friso Groote

Formal Methods for Industrial Critical Systems

Jan Friso Groote · 2022