Akram Idani – författare

Visar alla böcker från författaren Akram Idani. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Software Engineering and Formal Methods

   SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

   Av Carlos Canal, Akram Idani

   Häftad, 2015

   569 kr

   Lägg i varukorg

   This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are …

2. 

   Software Engineering and Formal Methods

   SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

   Av Akram Idani, Carlos Canal

   E-bok, 2015

   755 kr

   Lägg i varukorg

   This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are …