Paperback Book

Na sklade v iMusic

Zobraziť nedostupné položky

Vydania od Ofer Strichman

Cover for Ofer Strichman · Efficient Decision Procedures for Validation: Translation Validation, Decision Procedures for Equality Logic, and Sat Tuning for Bounded Model Checking (Paperback Book) (2010)
Paperback Book
Efficient Decision Procedures fo...
Ofer Strichman