Olaf Burkart - Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1354, Band 1354)

Brand : Springer, Binding : Taschenbuch, Edition : 1, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 180, publicationDate : 1997-12-17, releaseDate : 1997-12-17, authors : Olaf Burkart, ISBN : 3540639829 ...