Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Kurt Jensen , Andreas Podelski
No ratings yet
2004 · English · Paperback
Add To Shelf

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book

Export Book Journal