Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Couverture souple

Livre 68 sur 83: Texts in Computer Science
 
9783030878832: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

L'édition de cet ISBN n'est malheureusement plus disponible.

Autres éditions populaires du même titre

9783030878818: Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Edition présentée

ISBN 10 :  3030878813 ISBN 13 :  9783030878818
Editeur : Springer Nature Switzerland AG, 2021
Couverture rigide