Carl E. Landwehr – författare
Visar alla böcker från författaren Carl E. Landwehr. Handla med fri frakt och snabb leverans.
4 produkter
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Joshua D. Guttman, Carl E. Landwehr m. fl.
Häftad, 2019
566 kr
Lägg i varukorg
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
Av Dusko Pavlovic, Jose Meseguer m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019. Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her …
Dependable Computing for Critical Applications 3
Av Luca Simoncini, Brian Randell m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where …
Dependable Computing for Critical Applications 3
Av Carl E. Landwehr, Brian Randell m. fl.
Häftad, 2013
550 kr
Lägg i varukorg
This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where …
