Direkt zum Inhalt
The Calculus of Computation: Decision Procedures with Applications to Verification

AKTUELLE PARTNERANGEBOTE

The Calculus of Computation: Decision Procedures with Applications to Verification

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of hardcover 1st ed. 2007, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 384, publicationDate : 2010-10-19, releaseDate : 2010-10-19, authors : Bradley, Aaron R. R., ISBN : 3642093477

2 Angebote · ab 50,76 € gemeldete Gesamtkosten