9783030911522 - formal analysis by abstract interpretation: case studies in modern protocols di aziz, benjamin (13 risultati)
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,84
EUR 13,88 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2021-12 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,04
EUR 17,95 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,36
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 92,15
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,93
EUR 9,22 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer International Publishing 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 61,04 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Altre immaginiLingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,30
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Formal Analysis by Abstract Interpretation | Case Studies in Modern Protocols | Benjamin Aziz | Taschenbuch | SpringerBriefs in Applied Sciences and Technology | xii | Englisch | 2021 | Springer | EAN 9783030911522 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 H…eidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
- Print on Demand
Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 54,23
EUR 4,00 spedizioneSpedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Condizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Dez 2021 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 128 pp. Englisch.
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 94,34
EUR 7,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 93,95
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer 2022
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,15
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 in…dustry, particularly in the context of Io.
Lingua: Inglese
Editore: Springer, Birkhäuser Dez 2021 2021
Serie: SpringerBriefs in Applied Sciences and Technology, Libro 180 di 472. Libro 180 di 472 - SpringerBriefs in Applied Sciences and Technology
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,19
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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, bu…t 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 128 pp. Englisch.
