Werner Damm - Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590, Band 4590)

Brand : Springer, Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, PackageQuantity : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 584, publicationDate : 2007-08-17, releaseDate : 2007-08-03, publishers : Werner Damm, ISBN : 3540733671 ...