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ț: 337^.00 lei 421^.25 lei

6-8 săpt.

-20%

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3455

Editat de Helen Treharne et al.

7 apr 2005

Preț: 656^.36 lei 820^.45 lei

6-8 săpt.

-20%