1.
 |  | Title: Tools and Algorithms for the Construction and Analysis of Systems
by Ed Brinksma
ISBN: 3540606300
Publisher: Springer Verlag
Pub. Date: November, 1995
List Price: $69.95
Amazon.com Price: $69.95 |
2.
|  | Title: Protocol Test Systems, IV: Proceedings of the Ifip Tc6 Fourth International Workshop on Protocol Test Systems Organized by Ptt Research: Leidschend (Ifip Transactions. C, Communication Systems, C-3)
by Ifip Tc6 International Workshop on Protocol Test Systems 1991 Leidsch, Pudolf J. Heijink, Ed Brinksma, Jan Kroon, Rudolf J. Heijink, International Federation for Information Processing Technical Committe
ISBN: 0444895175
Publisher: North-Holland
Pub. Date: April, 1992
List Price: $117.50
Amazon.com Price: $117.50 |
3.
|  | Title: Lectures on Formal Methods and Performance Analysis: First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures (Lecture Notes in Computer Science, 2090)
by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
ISBN: 3540424792
Publisher: Telos Pr
Pub. Date: October, 2001
List Price: $67.95
Amazon.com Price: $67.95 |
4.
|  | Title: Protocol Specification, Testing, and Verification, IX
by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
ISBN: 0444883436
Publisher: Elsevier Science Ltd
Pub. Date: December, 1990
List Price: $149.50
Amazon.com Price: $149.50 |
