Fundamentals of Logic and Computation: With Practical Automated Reasoning and VerificationPublisher: Springer Nature Switzerland AG Year: 05/12/2022 ISBN: 9783030878849 Publication form: paperback
|
304.50 PLN
Product to order
Delivery 3-4 weeks
Add to bookshelf
|
Fundamentals of Logic and ComputationPublisher: Springer Nature Year: 03/12/2021 ISBN: 9783030878825 Publication form: eBook: Reflowable eTextbook (ePub)
|
411.30 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, ProceedingsPublisher: Springer, Berlin ISBN: 9783030888848 Publication form: paperback
|
Ask about the product
|
Fundamentals of Logic and Computation: With Practical Automated Reasoning and VerificationPublisher: Springer, Berlin ISBN: 9783030878818 Publication form: hardback
|
Ask about the product
|