Tools and Algorithms for the Construction and Analysis of SystemsOrna Grumberg

Tools and Algorithms for the Construction and Analysis of Systems

Orna Grumberg, Michael Huth · 2007

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: 2007
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540712091

Data source: Wikidata

More by Orna Grumberg

Computer Aided VerificationOrna Grumberg

Computer Aided Verification

Orna Grumberg · 1997

25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg

25 Years Of Model Checking History Achievements Perspectives

Orna Grumberg · 2008

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018

Languages From Formal to Natural Lecture Notes in Computer ScienceOrna Grumberg

Languages From Formal to Natural Lecture Notes in Computer Science

Orna Grumberg · 2009

Languages : from Formal to NaturalOrna Grumberg

Languages : from Formal to Natural

Orna Grumberg · 2009

25 Years of Model CheckingOrna Grumberg

25 Years of Model Checking

Orna Grumberg · 2008