Bücher nach ISBN > Springer > B. T. Hailpern

B. T. Hailpern

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Verifying Concurrent Processes Using Temporal Logic978-3-54O-112O5-1
(3-54O-112O5-7)		2008

B. T. · Brent T. Hailpern · T.H.

B.T. Hart