1. Forside
  2. Bøger
  3. Engelske bøger
  4. Netværkskomponenter
  5. Matematisk datateori
  6. Elektroteknik
  7. Kommunikationsteknik / telekommunikation
  8. Formal Analysis by Abstract Interpretation: Case Studies in...

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols

(Bog, Paperback / softback, Engelsk)
Forfatter: Benjamin Aziz
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
Forlag: Springer Nature Switzerland AG

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Elektroteknik Kommunikationsteknik / telekommunikation Matematisk datateori Netværkskomponenter
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. 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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfatter Benjamin Aziz
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2022
Udgivelsesdato 14-12-2021
Første udgivelsesår 2021
Serie SpringerBriefs in Applied Sciences and Technology
Illustrationer 25 Illustrations, black and white
Originalsprog Switzerland
Sideantal 113
Indbinding Paperback / softback
Forlag Springer Nature Switzerland AG
Sideoplysninger 113 pages, 25 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783030911522