Author/Creator: Boer, Frank S. de honouree. - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Boer, Frank S. de honouree.

1. Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016)

Editors:: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch
Other Names:: Boer, Frank S. de honouree.
Record Type:: Book
Extent:: 1 online resource (427 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗