Cărți de Howard Barringer

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ț: 337^.81 lei 422^.26 lei

22-36 zile

-20%

Advances in Temporal Logic

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 940^.53 lei 1146^.98 lei

43-57 zile

-18%

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings

Lecture Notes in Computer Science, nr. 398

Editat de Behnam Banieqbal et al.

11 oct 1989

Preț: 333^.65 lei 417^.06 lei

43-57 zile

-20%

A Survey of Verification Techniques for Parallel Programs

Lecture Notes in Computer Science, nr. 191

Autor Howard Barringer

mai 1985

Preț: 229^.80 lei 287^.26 lei

43-57 zile

-20%