FME 2002: Formal Methods - Getting IT Right Peter A. Lindsay
123,04 €
Titel: FME 2002: Formal Methods - Getting IT Right, Untertitel: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings, Einband: Taschenbuch, Autor: Peter A. Lindsay, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 644, Maße: 235x155x35 mm, Gewicht: 961 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Testmethoden UML (EDV) Bisimulation Formal Specification Java Card OCL UML Variable algorithm algorithms formal method formal methods logic model checking program analysis programming calculi programming logic.
Jetzt bei Ebay:
