Compositional Verification of Concurrent and Real-Time Systems - Softcover

Unknown Author

 
9781461510109: Compositional Verification of Concurrent and Real-Time Systems
Softcover
ISBN 10: 1461510104 ISBN 13: 9781461510109
Publisher: Springer

This specific ISBN edition is currently not available.

Publisher
Springer
Language
English
ISBN 10 
1461510104
ISBN 13 
9781461510109
Binding
Paperback
Number of pages
220

Other Popular Editions of the Same Title

9781402070259: Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676)

Featured Edition

ISBN 10:  140207025X ISBN 13:  9781402070259
Publisher: Springer, 2002
Hardcover