Tools and Algorithms for the Construction and Analysis of Systems View on Open Library

Tools and Algorithms for the Construction and Analysis of Systems

by Orna Grumberg , Michael Huth

No reviews yet
First published: 2007 1 language ISBN: 9783540712091
Subjects
System design Computer software, development

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Orna Grumberg

Model checking

Model checking

Languages : from Formal to Natural

Languages : from Formal to Natural

25 Years of Model Checking

25 Years of Model Checking

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...

You Might Also Like

More in System design
NASA/DoD aerospace knowledge diffusion research project

NASA/DoD aerospace knowledge diffusion r...

Thomas E. Pinelli
Nuclear waste

Nuclear waste

United States. General Accounting Office
Aircraft accident report

Aircraft accident report

United States. National Transportation Safety Board.
Bill

Bill

Canada
Esquisse de cours 12e année

Esquisse de cours 12e année

Ontario.
Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon