Het wetboek accountancy en fiscaliteit bevat een selectie van nationale en Europese wetgevende be...

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-2...

This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...

Rigorous theory and real-world applications for modeling and analysis of the behavior of complex ...

This undergraduate textbook first introduces basic electronic circuitry before explaining more ad...

This open access two-volume set constitutes the proceedings of the 27th International Conference ...

This open access two-volume set constitutes the proceedings of the 27th International Conference ...

This book constitutes the proceedings of the 27th International Conference on Formal Methods...

Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

This book helps readers easily learn basic model checking by presenting examples, exercises and c...

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-2...

CONCUR'91 is the second international conference onconcurrency theory, organized in associati...