Languages : from Formal to Natural View on Open Library

Languages : from Formal to Natural

by Orna Grumberg , Michael Kaminski , Shmuel Katz , Shuly Wintner

No reviews yet
First published: 2009 1 language ISBN: 9783642017483

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Orna Grumberg

Model checking

Model checking

25 Years of Model Checking

25 Years of Model Checking

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Constructio...

Model Checking, Second Edition

Model Checking, Second Edition

Languages From Formal to Natural Lecture Notes in Computer Science

Languages From Formal to Natural ...

25 Years Of Model Checking History Achievements Perspectives

25 Years Of Model Checking History Achie...