Sarfraz Khurshid – författare
Visar alla böcker från författaren Sarfraz Khurshid. Handla med fri frakt och snabb leverans.
4 produkter
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Av Marc Frappier, Uwe Glässer m. fl.
Häftad, 2010
567 kr
Lägg i varukorg
ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu' ebec,during February22-25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. …
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Av Steve Reeves, Regine Laleau m. fl.
E-bok, 2010
755 kr
Lägg i varukorg
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av John Derrick, John Fitzgerald m. fl.
Häftad, 2012
550 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Av Elvinia Riccobene, Steve Reeves m. fl.
E-bok, 2012
718 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 …
