Libro theory and formal methods 1993: proceedings of the first imperial college department of computing wo De Burn, Geoffrey ; Gay, Simon ; Ryan, Mark

portada theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn

Formato

Libro Físico

Ilustrado por

Editorial

Autor

Burn, Geoffrey ; Gay, Simon ; Ryan, Mark

Año

1993

Idioma

Inglés

N° páginas

329

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.8 cm

Peso

0.48 kg.

ISBN

3540198423

ISBN13

9783540198420

Categorías

Lógica matemática
Programación informática - desarrollo de software

theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn

Mark Ryan (Ilustrado por) · Geoffrey Burn (Ilustrado por) · Simon Gay (Ilustrado por) · Springer · Tapa Blanda

Sin Stock

Reseña del libro "theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn"

Theory and Formal Methods 1993 provides an overview of work done by one of the world's leading research centres. It will be of interest to researchers and practitioners, as well as undergraduate and postgraduate students.