Cărți de Helen Treharne

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7321

Editat de John Derrick et al.

6 iun 2012

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

ZB 2005: Formal Specification and Development in Z and B

Editat de Helen Treharne et al.

7 apr 2005

Preț: 632^.99 lei 791^.24 lei

6-8 săpt.

-20%