Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning

Tools and Algorithms for the Construction and Analysis of Systems [Repost]

Posted By: Free butterfly
Date: 3 Feb 2016 19:50:49
Tools and Algorithms for the Construction and Analysis of Systems [Repost]

Tools and Algorithms for the Construction and Analysis of Systems by Orna Grumberg
English | Apr. 12, 2007 | ISBN: 3540712089 | 755 Pages | PDF | 6 MB

Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.


-= My Blog! =-
Download NitroFlare
UPWARDS