Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday :: ISBN 9783319307336 :: Springer 2016 :: OBNB, the Open British National Bibliography

Publication Data

Title Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday
Contributors Frank S. de Boer, Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen
Publisher Springer
Publication date 2016
Publication location Cham
Language English

Topics

Formal methods (Computer science)
Computer science :: Mathematics

Catalogue Data

OBNB ID GBB654080
ISBN 10 3319307339
ISBN 13 9783319307336
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xii, 426 pages
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday. ISBN 9783319307336. Published by Springer in 2016. Publication and catalogue information, links to buy online and reader comments.