Concurrency Verification: Introduction to Compositional and Non-compositional Methods Cambridge Tracts in Theoretical Computer Science, nr. 54 Autor Willem-Paul de Roever et al. 25 ian 2012 Paperback Preț: 542.23 lei 677.79 lei 6-8 săpt. -20%
Specification and Compositional Verification of Real-Time Systems Lecture Notes in Computer Science, nr. 558 Autor Jozef Hooman 27 noi 1991 Paperback Preț: 330.24 lei 412.80 lei 6-8 săpt. -20%