Book DetailsTitle:Software Engineering and Formal Methods : 15th International Con   Item Condition:New Author: Alessandro Cimatti, Marjan Sirjani   ISBN 10:3319661965Publisher:Springer   ISBN 13:9783319661964Published On:2017-09-16   SKU:5555-INGPD-9783319661964Binding:Paperback   Language:englishEdition:1st ed. 2017   List Price:- Description\n Thanks for looking at our listing. At Cmedia_group, we try to stick to some simple guidelines in order to ensure all books you buy from us arrive in the condition you expect.\nWhat can you expect depending on book condition?\nUsed-Good: The book will be clean without any major stains or markings, the spine of the book will be in great shape meaning the book still has a lot of life in it, no pages will be missing, the pages may be slightly folded through previous use but not majorly.\nUsed-Very Good: The book will be clean without any major stains or markings, the spine will be in excellent shape with only minor .