Direkt zum Inhalt
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

AKTUELLE PARTNERANGEBOTE

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

Brand : Cambridge University Press, Binding : Gebundene Ausgabe, Edition : 1, Label : Cambridge University Press, Publisher : Cambridge University Press, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 180, publicationDate : 1993-11-11, releaseDate : 2005-09-15, authors : Melham, T. F., ISBN : 052141718X

1 Angebote · ab 142,00 € gemeldete Gesamtkosten