Joshua Guttman – författare
Visar alla böcker från författaren Joshua Guttman. Handla med fri frakt och snabb leverans.
4 produkter
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Vivek Nigam, Tajana Ban Kirigin m. fl.
Häftad, 2020
678 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Av Mitsuhiro Okada, Boon Thau Loo m. fl.
E-bok, 2020
903 kr
Lägg i varukorg
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning …
Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Av Pierpaolo Degano, Sandro Etalle m. fl.
Häftad, 2011
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Pisa, Italy in September 2010. The 14 …
Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Av Joshua Guttman, Sandro Etalle m. fl.
E-bok, 2011
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Pisa, Italy in September 2010. The 14 …
