Andreas Fett – författare
Visar alla böcker från författaren Andreas Fett. Handla med fri frakt och snabb leverans.
3 produkter
ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Av Michael G. Hinchey, Andreas Fett m. fl.
E-bok, 2011
739 kr
Lägg i varukorg
1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least …
ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
Av Jonathan P. Bowen, Andreas Fett m. fl.
Häftad, 1998
567 kr
Lägg i varukorg
1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least …
