https://www.ebooknetworking.net/books_detail-3662504960.html

Decision Procedures : An Algorithmic Point of View

Name: Decision Procedures : An Algorithmic Point of View
Author: Daniel Kroening, Ofer Strichman
ISBN: 9783662504963

Shop on Amazon — choose your country

7168 EUR

Habituellement expédié sous 24 h

Book Details

ISBN / ASIN3662504960

ISBN-139783662504963

AvailabilityHabituellement expédié sous 24 h

Sales Rank713,759

MarketplaceFrance 🇫🇷