Juan, Eric Y.T. - Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science, 676, Band 676)

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2002, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 215, publicationDate : 2002-04-30, releaseDate : 2002-04-30, authors : Juan, Eric Y.T., Tsai, Jeffrey J-P, ISBN : 140207025X ...