Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Principles of model checking / Christel Baier, Joost-Pieter Katoen ; [foreword by Kim Guldstrand Larsen] Monografia Publication Cambridge : MIT, 2008 Description XVII, 975 p. : il. ; 26 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / ed. Joost-Pieter Katoen, Rom Langerak, Arend Rensink Monografia Publication Cham : Springer, cop. 2017 Description XII, 389, [1] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart