Go back

Decidability Of Parameterized Verification(1st Edition)

Authors:

Roderick Bloem, Swen Jacobs, Ayrat Kalimov, Igor Konnov

decidability of parameterized verification 1st edition roderick bloem, swen jacobs, ayrat kalimov, igor

15 ratings

Get FreeFor $0

Cover Type:Hardcover

Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days

Popular items with books

Access to 10 Million+ solutions Free ✝

Ask 10 Questions from expert 200,000+ Expert answers

✝ 7 days-trial

Total Price:

List Price: $43.46 Savings: $43.46(100%)

Book details

ISBN: 3031008839, 978-3031008832

Book publisher: Springer

Human Physiology - 2nd Edition

Bryan H. Derrickson

ISBN: 1119497779, 978-1119497776

$0 $124.95

Selecting And Managing Advertising Agencies Creative Media And Full-Service Agency Partnerships - 1st Edition

Carylon Melancon

ISBN: B0D76M9R9P, 979-8328392402

$0 $14.20

Elementary Principles of Chemical Processes - 3rd Edition

Richard M. Felder

ISBN: 978-0471687573, 9788126515820, 978-0-471-4152, 0471720631, 047168757X, 8126515821, 978-0471720638

$0 $249.95

Economics 23e - 23rd Edition

Campbell McConnell

ISBN: 1265290431, 978-1265290436

$0 $149.57

Introduction To Quantum Control And Dynamics - 2nd Edition

Domenico D’Alessandro

ISBN: 0367767643, 978-0367767648

$0 $74.99

Algorithms For Sensor Systems 13th International Symposium On Algorithms And Experiments For Wireless Sensor Networks ALGOSENSORS 2017 Vienna - 1st Edition

Antonio Fernandez Anta

ISBN: 3319727508, 978-3319727509

$0 $52.92

Transactions On Large Scale Data And Knowledge Centered Systems XLVII Special Issue On Digital Ecosystems And Social Networks - 1st Edition

Abdelkader Hameurlain

ISBN: 3662629186, 978-3662629185

$0 $54.99