Tools and Algorithms for the Construction and Analysis of Systems > Editions

by Jan Van Leeuwen First published March 18th 1998

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... March 28 - April 4, 1998, Proceeding
Published March 12th 2014 by Springer
Paperback, 476 pages
Author(s):
ISBN:
9783662214688 (ISBN10: 3662214687)
ASIN:
3662214687
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1384)
Published March 18th 1998 by Springer
1998, Paperback, 476 pages
Author(s):
ISBN:
9783540643562 (ISBN10: 3540643567)
ASIN:
3540643567
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page