About this Paperback
- ISBN-13
- 9783031753794
- Author
- Tiziana Margaria,Bernhard Steffen
- Publisher
- Springer Nature Switzerland
- Published
- 2024-10-30
- Pages
- 406
- Binding
- Paperback
Verified US edition — ISBN 9783031753794
ISBN 9783031753794 identifies the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III by Tiziana Margaria by Tiziana Margaria,Bernhard Steffen, published by Springer Nature Switzerland (2024-10-30). Every copy Book Shop Now ships against this ISBN is the genuine US-edition print run from the original publisher's authorized US distribution — no overseas reprints, no scanned facsimiles, no "international edition" rebranding. Verify this ISBN against your professor's syllabus before checkout.
About Springer Nature Switzerland
Springer Publishing Company (NYC) publishes nursing, counseling, social work, and health-professions reference books — including the 101/301 Careers series, Springer Series on Behavioral Addictions, and clinical advanced-practice references. Distinct from Springer Nature (scientific journals), Springer Publishing's titles dominate MSN/DNP and CACREP-accredited counseling program reading lists. We source directly from Springer's US warehouse.
How Book Shop Now sources this title
Every book Book Shop Now ships is sourced directly from US publishers or their authorized US distributors — never from overseas grey-market resellers, marketplace commingled inventory, or scanned facsimile reprints. We do not sell "international edition" copies relabeled as US editions, and we do not accept loose-leaf substitutions for hardcover orders. Each shipment is inspected against the listed ISBN before dispatch, ships from US warehouses with 1-3 business day handling, and is covered by a 14-day return policy on books that arrive damaged or mismatched. Read our guide to spotting counterfeit textbooks →
