Cărți de Howard Barringer

Advances in Temporal Logic

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 913^.61 lei 1114^.15 lei

43-57 zile

-18%

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 331^.62 lei 414^.53 lei

22-36 zile

-20%

Temporal Logic in Specification

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 330^.36 lei 412^.95 lei

43-57 zile

-20%

A Survey of Verification Techniques for Parallel Programs

Autor Howard Barringer

mai 1985

Preț: 226^.64 lei 283^.29 lei

43-57 zile

-20%