Dion Mandrioli – författare
Visar alla böcker från författaren Dion Mandrioli. Handla med fri frakt och snabb leverans.
2 produkter
FME 2003: Formal Methods
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Av Keijiro Araki, Stefania Gnesi m. fl.
Häftad, 2003
1126 kr
Lägg i varukorg
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for …
FME 2003: Formal Methods
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Av Dion Mandrioli, Stefania Gnesi m. fl.
E-bok, 2003
1470 kr
Lägg i varukorg
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for …
