Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Autor:
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
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
1 501.37
lei
This is a systematic and comprehensive introduction both to compositional proof methods for the stat...
