Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Formal Analysis by Abstract Interpretation

Name: Formal Analysis by Abstract Interpretation
Brand: Springer
SKU: 41016814
Price: 67.54 EUR
Availability: InStock
Author: Benjamin Aziz
ISBN: 9783030911539

Case Studies in Modern Protocols

Benjamin Aziz

Jezik

Angleščina

E-knjiga Adobe ePub DRM

Koda Libristo: 41016814

Založba Springer, december 2021

The book provides a gentle introduction and definition of the denotational-based abstract interpreta... Celoten opis

Koda Libristo: 41016814

163 b

67.54 €

Na zalogi Prenesi zdaj

The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the testing, mutating and semantic ambiguity resolution of protocols. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0.