Cărți de Gregor von Bochmann

Formal Description Techniques VIII

Editat de Gregor von Bochmann et al.

31 ian 1996

Preț: 1168^.94 lei 1425^.54 lei

6-8 săpt.

-18%

Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings

Lecture Notes in Computer Science, nr. 663

Editat de Gregor von Bochmann et al.

30 mar 1993

Preț: 326^.72 lei 408^.40 lei

6-8 săpt.

-20%

Testing of Communicating Systems

Editat de Hasan Ural et al.

24 iul 2012

Preț: 1215^.93 lei 1519^.91 lei

6-8 săpt.

-20%