Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Analysis by Abstract Interpretation

Name: Formal Analysis by Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 38438046
Price: 61.54 EUR
Availability: InStock
Author: Aziz
ISBN: 9783030911522

Aziz

Benjamin

Sprache

Englisch

Buch Broschur

Libristo-Code: 38438046

Verlag Springer Nature Switzerland AG, Dezember 2021

The book provides a gentle introduction and definition of the denotational-based abstract interpreta... Vollständige Beschreibung

Libristo-Code: 38438046

150 b

61.54 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Hans Thoma - Rheinfall bei Schaffhausen - 500 Teile (Puzzle)

Spiel

28.35 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Analysis by Abstract Interpretation

Autor Aziz, Benjamin

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2021

Anzahl der Seiten 113

EAN 9783030911522

ISBN 3030911527

Libristo-Code 38438046

Verlag Springer Nature Switzerland AG

Gewicht 209

Abmessungen 155 x 235 x 8

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Nachrichtententechnik, Telekommunikation

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert