Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Автор:
Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Hooman, Jozef (Katholieke Universiteit Nijmegen, The Netherlands), Yassine (Universite Joseph Fourier) Lakhnech, Poel, Mannes (University of Twente, E
Наличност:
Външен склад
Изпращаме след 9-15 дни
274.97
€
537.79 лв
This is a systematic and comprehensive introduction both to compositional proof methods for the stat...
