Siraj Ahmed Shaikh – författare
Visar alla böcker från författaren Siraj Ahmed Shaikh. Handla med fri frakt och snabb leverans.
5 produkter
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Inbunden, 2022
895 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Siraj Ahmed Shaikh, Gerardo Schneider m. fl.
E-bok, 2022
897 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Av Markus Roggenbach, Antonio Cerone m. fl.
Häftad, 2023
673 kr
Lägg i varukorg
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what …
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Av Antonio Cerone, Donatella Persico m. fl.
Häftad, 2014
530 kr
Lägg i varukorg
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and …
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability
SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Av Ioannis Stamelos, Siraj Ahmed Shaikh m. fl.
E-bok, 2014
690 kr
Lägg i varukorg
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and …
