Miriam Leeser - Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University Ithaca, New ... Notes in Computer Science, 408, Band 408)

Brand : Springer, Binding : Taschenbuch, Edition : 1990, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 1, Format : Illustriert, medium : Taschenbuch, numberOfPages : 412, publicationDate : 2009-02-22, releaseDate : 2009-02-22, publishers : Miriam Leeser, ISBN : 0387972269 ...