Temporal verification of reactive systems: safety

Name: Temporal verification of reactive systems: safety
Brand: Springer
SKU: 9780387944593

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

Springer Temporal verification of reactive systems: safety is a computer science identified by EAN 9780387944593.

9780387944593 Certainty 75%

Brand: Springer
Category: computer science
Barcode type: EAN-13 / GTIN-13
GS1 registered country: Bookland (ISBN-13)
Data confidence: 75%

Product Details

Barcode (EAN/GTIN)	9780387944593
Product name	Temporal verification of reactive systems: safety
Brand / Manufacturer	Springer
Category	computer science
GS1 Prefix	978 — registered in Bookland (ISBN-13)
Barcode type	EAN-13 / GTIN-13
Data certainty	75%

Verified Product Facts

The barcode 9780387944593 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

ColourSilver

Item weight971 grams

Number of items1

Package dimensions3.7 × 16.1 × 24 centimeters (L×W×H)

Package weight0.964 kilograms

Part numberRefer to Sapnet.

Product dimensions6.79 × 1.19 × 9.61 inches (L×W×H)

UNSPSC code10111300

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

Buy this product

🛒Find on eBay›🇩🇪Buy on Amazon.de›🇬🇧Buy on Amazon.co.uk›🇺🇸Buy on Amazon.com›🇵🇱Buy on Allegro.pl›🇩🇪Buy on Kaufland.de›

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-24). 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 Springer

Breaded Chicken Breast Strips Lyoner Bauernfruehstueck Hausmacher Leberwurst Chicken Breast Tenderloin Chicken breast skinless Hausmacher-Blutwurst Chicken Breast Tenders

Barcode Lookup API

Access this product programmatically via the ProductGuru free API:

GET https://myproduct.guru/scan/9780387944593

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

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

About EAN Barcode 9780387944593

Barcode 9780387944593 is a EAN-13 (GTIN-13) identifying Temporal verification of reactive systems: safety 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: Springer
Scan compatibility: readable by any smartphone barcode scanner app

Frequently Asked Questions

What product has barcode 9780387944593?

Barcode 9780387944593 is Temporal verification of reactive systems: safety, sold under the brand Springer.

Who manufactures barcode 9780387944593?

Springer is recorded as the manufacturer of Temporal verification of reactive systems: safety (barcode 9780387944593).

What country is barcode 9780387944593 from?

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

Is barcode 9780387944593 a valid EAN?

Yes, 9780387944593 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?