ProductGuru Free barcode & product database

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

AI-assisted, human-edited — this page is drafted with AI from public-source data, then reviewed before publication. How we use AI →

Now Publishers Static Analysis and Verification of Aerospace Software by Abstract Interpretation is an aerospace industries identified by EAN 9781601988560.

9781601988560 Certainty 60%
  • Brand: Now Publishers
  • Category: aerospace industries
  • Barcode type: EAN-13 / GTIN-13
  • GS1 registered country: Bookland (ISBN-13)
  • Data confidence: 60%

Product Details

Barcode (EAN/GTIN)9781601988560
Product nameStatic Analysis and Verification of Aerospace Software by Abstract Interpretation
Brand / ManufacturerNow Publishers
Categoryaerospace industries
GS1 Prefix978 — registered in Bookland (ISBN-13)
Barcode typeEAN-13 / GTIN-13
Data certainty60%

Verified Product Facts

The barcode 9781601988560 passes the GS1 mod-10 check-digit test, so it is a structurally valid GTIN. Its 978 prefix was issued by the GS1 member organisation for Bookland (ISBN-13) — registration, not place of manufacture.

Recorded specifications

Batteries includedno
Batteries requiredno
Item weight204 grams
Manufacturernow publishers Inc
Package dimensions6.14 × 0.3 × 9.21 inches (L×W×H)
Package weight0.45 pounds
Part numberblack & white illustrations
Product dimensions6.14 × 0.3 × 9.21 inches (L×W×H)
UNSPSC code55101500

Attributes as recorded in the product catalogue data we hold. Figures describe the packaged article and may differ between production batches.

Buy this product

As an Amazon Associate and eBay Partner we earn from qualifying purchases. Prices and availability are set by the retailer and verified on their site.

⊞ Compare this product
🟢 No recall found for this barcode  ·  We matched this barcode against recall records from EU Safety Gate, US FDA, US CPSC and Health Canada (2026-09-28). Not every recall notice lists a barcode, so this is not a safety guarantee — check the brand owner or the regulator for the definitive record.

More from Now Publishers

Barcode Lookup API

Access this product programmatically via the ProductGuru free API:

GET https://myproduct.guru/scan/9781601988560
GET https://myproduct.guru/api/search?q=9781601988560

No API key required. Returns JSON with product name, brand, manufacturer, and more.

About EAN Barcode 9781601988560

Barcode 9781601988560 is a EAN-13 (GTIN-13) identifying Static Analysis and Verification of Aerospace Software by Abstract Interpretation in the GS1 global system.

  • Barcode format: EAN-13 / GTIN-13 — 13-digit globally unique product identifier
  • GS1 prefix 978: assigned to companies registered in Bookland (ISBN-13)
  • Manufacturer: Now Publishers
  • Scan compatibility: readable by any smartphone barcode scanner app

Frequently Asked Questions

What product has barcode 9781601988560?

Barcode 9781601988560 is Static Analysis and Verification of Aerospace Software by Abstract Interpretation, sold under the brand Now Publishers.

Who manufactures barcode 9781601988560?

Now Publishers is recorded as the manufacturer of Static Analysis and Verification of Aerospace Software by Abstract Interpretation (barcode 9781601988560).

What country is barcode 9781601988560 from?

Based on the GS1 prefix 978, this product was registered in Bookland (ISBN-13).

Is barcode 9781601988560 a valid EAN?

Yes, 9781601988560 is a valid EAN-13 barcode with correct check digit.

⚠️ Data Disclaimer

Data is aggregated from open datasets and may be inaccurate or out of date; some outbound links are affiliate links from which we may earn a commission.

Imprint  |  Terms of Service  |  Privacy Policy  |  Imprint

Found wrong info? Report it

Reports are queued for human review. We don't store this data for marketing.

Was this page helpful?