Resultados de búsqueda

1

Imagen de Portada

Scalable techniques for formal verification /

por Ray, Sandip.
Publicado 2010

Libro

2

Imagen de Portada

Formal methods in computing /

Publicado 2005

Table of contents

Libro

3

Imagen de Portada

Understanding formal methods /

por Monin, Jean François, 1960-
Publicado 2003

Publisher description
Table of contents only

Libro

4

Imagen de Portada

Algebraic foundations of systems specification /

Publicado 1999

Libro

5

Imagen de Portada

Logic programming : formal methods and practical applications /

Publicado 1995

Libro

6

Imagen de Portada

Z : an introduction to formal methods /

por Diller, Antoni.
Publicado 1994 - 2nd ed.

Publisher description
Table of Contents

Libro

7

Imagen de Portada

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /

Publicado 1993

Libro