Model CheckingPublisher: MIT Press Ltd Year: 04/12/2018 ISBN: 9780262038836 Publication form: hardback
|
372.75 PLN
Product to order
Delivery 3-4 weeks
Add to bookshelf
|
Decision ProceduresPublisher: Springer Nature Year: 22/11/2016 Edition: Second ISBN: 9783662504970 Publication form: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Computer Aided VerificationPublisher: Springer Nature Year: 15/07/2015 ISBN: 9783319216904 Publication form: eBook: Reflowable eTextbook (ePub)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Computer Aided VerificationPublisher: Springer Nature Year: 13/07/2015 ISBN: 9783319216683 Publication form: eBook: Reflowable eTextbook (ePub)
|
438.72 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Hardware and Software: Verification and TestingPublisher: Springer Nature Year: 09/03/2011 Edition: First ISBN: 9783642195839 Publication form: eBook: Fixed Page eTextbook (PDF)
|
493.56 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Decision Procedures: An Algorithmic Point of ViewPublisher: Springer, Berlin ISBN: 9783662570654 Publication form: paperback
|
Ask about the product
|
Decision Procedures: An Algorithmic Point of ViewPublisher: Springer, Berlin ISBN: 9783662504963 Publication form: hardback
|
Ask about the product
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IPublisher: Springer, Berlin ISBN: 9783319216898 Publication form: paperback
|
Ask about the product
|
Decision Procedures: An Algorithmic Point of ViewPublisher: Springer, Berlin ISBN: 9783540741046 Publication form: hardback
|
Ask about the product
|
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIPublisher: Springer, Berlin ISBN: 9783319216676 Publication form: paperback
|
Ask about the product
|