E-book
New Methods of Concurrent Checking [electronic resource] / by Michael Göessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld.
Record details
- ISBN: 9781402084201
- Physical Description: online resource.
- Publisher: Dordrecht : Springer Netherlands, 2008.
Search for related items by subject
| Subject: | Engineering. Computer simulation. Systems engineering. Engineering. Circuits and Systems. Simulation and Modeling. |
