9783319105741 - Handbook of Model Checking Gebunden

EAN: 9783319105741

Produktdaten aktualisiert am: 31.03.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 3319105744

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic programming languages hardware design and theoretical computer science model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain and the 32 contributed chapters present a thorough view of the origin theory and application of model checking. In particular the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge that is designing model-checking algorithms that scale to real-life problems and the modeling challenge that is extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools. This handbook is an authoritative comprehensive description of the state of the art in model checking. It belongs on the bookshelf of every researcher and practitioner in computer-aided verification. [Moshe Y. Vardi George Distinguished Service Professor in Computational Engineering Rice University] With chapters written by the world's leading experts from academia and industry this authoritative book on model checking should be on the shelf of every computer science graduate student and every hardware and software engineer. As the scale and complexity of digital systems grow and they must work in the presence of uncertainty in the physical world verification techniques such as model checking will become increasingly important to ensure system reliability safety and security. [Jeannette Wing Corporate Vice President Microsoft Research]

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

(Preise zuletzt aktualisiert am: 03.04.2025 um 10:05 Uhr)

Die Preise und Versandkosten können sich seit der letzten Aktualisierung beim jeweiligen Händler verändert haben.
Alle Preise sind Angaben des jeweiligen Anbieters inklusive Umsatzsteuer, zzgl. Versand - alle Angaben ohne Gewähr.
Grundpreise werden angezeigt und berechnet sofern möglich in Abhängigkeit eindeutiger und auslesbarer Daten
aus dem Produktnamen des jeweiligen Produktes und dem vom Shop angegeben Verkaufspreises des Produktes.
Barcode:
9783319105741
QR-Code:

Produkttypen
5G Handy, LTE Smartphone, KI Handy, Dual-SIM Handy, Android Handy, Phablet
Markteinführung
2025
Serien
Samsung Galaxy, Samsung Galaxy S, Samsung Galaxy AI, Samsung Enterprise Edition
Smartphone Klasse
High-End
Produkt-Highlights
Desktop-Modus, Qualcomm Snapdragon 8 Elite, helles Display, optischer Kamerazoom, neuester Mobilfunkstandard 5G
Displaygrö?e
6,2Zoll 15,748cm
Displayauflösung
2.340 x 1.080Pixel Full HD
Displayart
AMOLED
Bildwiederholungsfrequenz
120Hz
Display-Seitenverhältnis
19,59
Display-Besonderheiten
Dynamic Amoled 2X, adaptive Bildwiederholrate, Dark Mode, Adaptive Helligkeit, Always On Display, Punch-Hole-Display
Displaymaterial
Gorilla Glass Victus 2
Displayeigenschaft
kratzfest
Pixeldichte
418ppi
Helligkeit
2.600cdm
Kamera-Technik
Triple-Kamera, 8k-Videoaufnahme, 4k-Videoaufnahme, optischer Zoom, optische Bildstabilisierung
Kamera 1
Weitwinkel, 24mm, f1,8, 50MP, OIS
Kamera 2
Ultra-Weitwinkel, 13mm, 120, f2,2, 12MP
Kamera 3
f2,4, 67mm, Telekamera, OIS, 3x optischer Zoom, 10MP
Blitz
LED Blitz
Fokus-Funktionen
Dual Pixel Autofokus, Phasen-Fokus PDAF
Bildstabilisator
optisch OIS
optischer Zoom
3fach
Hybrid-Zoom
30fach
Digital-Zoom
10fach
Aufnahme-Funktionen
Serienbild, Stereo-Videoaufnahme, Panorama, HDR, Nachtmodus, Portraitmodus, Essens-Modus, KI Funktionen, Szenenerkennung, Zeitlupe, Zeitraffer, Dual-View Video
Hauptkamera Videoaufzeichnung
4k 6030fps, Full HD 2406030fps, 8K 3024fps
Kamera-Feature
RAW Image, Super Steady Video, HDR10, 10Bit HDR, Best Face, Single Take, Adaptive Pixel Sensor
Selfie-Kamera 1
f2,2, 26mm, 12MP, Weitwinkel
Selfie-Aufnahmefunktionen
Portraitmodus, Phasen-Fokus PDAF, Gestenerkennung, Dual Pixel Autofokus, Zeitraffer
Selfie-Videoaufzeichnung
Full HD 30fps, 4K 6030fps
RAM
12GB
interner Speicher
128GB
Prozessorhersteller
Qualcomm
Prozessortyp
Snapdragon 8 Elite
Prozessorkern
Octa-Core 8
max CPU-Taktrate
4,32GHz
Grafikprozessor GPU
Adreno 830
Dual-SIM Technik
Dual-SIM Standby
SIM-Karten
Nano-SIM, eSIM
Speicherkarte
ohne Slot
Sensoren
Helligkeitssensor, Annäherungssensor, Hall-Sensor, Kreiselsensor Gyroskop, Beschleunigungssensor G-Sensor, Magnetometer, Barometer, Fingerabdrucksensor
Ortungsdienste
Dual GPS, GPS, A-GPS, GLONASS, Galileo, BeiDou, QZSS
Audiofeatures
Stereo-Lautsprecher, Dolby Atmos, Geräuschunterdrückung
verfügbares Betriebssystem
Android 15
Update-Garantie
7 Jahre Android-Updates, 7 Jahre Sicherheitspatches
Benutzeroberfläche
One UI 7
vorinstallierte Apps
Google Play Store, Google Services
KI-Funktion
verbesserte Fotoaufnahmen
KI-Feature
Circle to Search
Mobilfunkstandards
2G, 3G, 4G, 5G
mobile Datenkommunikationen
EDGE, GPRS, GSM, LTE, WCDMA, LTE-Advanced, UMTS, HSPA, SA, NSA, SUB6, HSDPA
LTE-Frequenzbänder
B1, B2, B3, B4, B7, B8, B12, B13, B17, B18, B19, B20, B25, B26, B28, B32, B66
lokale Verbindungen
Wi-Fi Direct, Wi-Fi Hotspot, Triband WLan, Ultrabreitband-Sensor UWB, MIMO-WLan, Bluetooth, WLAN, Dualband WLan, NFC
WLAN-Standards
WiFi 1 b, WiFi 2 a, WiFi 3 g, WiFi 4 n, WiFi 5 ac, WiFi 6 ax, WiFi 7
WLAN-Frequenzbänder
2,4 GHz, 6 GHz, 5 GHz
Bluetooth-Version
5.4
Anschluss
USB-C
USB-Standards
3.2, DisplayPort, OTG On-The-Go
Bauform
Barren Handy
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>