Top Retellings of Classic Tales

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

by Jan Van Leeuwen First published March 18th 1998

Sort by
Format
Language
Editions
Showing 1-2 of 2
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
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 (Paperback)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
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)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page