Leveraging Applications of Formal Methods, Verification, and Validation
| ISBN: | 9783642165603 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 498 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Margaria, Tiziana Steffen, Bernhard |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 19.10.2010 |
| Untertitel: | 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II |
| Schlagworte: | Internet Linux Pacemaker business process modeling classification cloud computing collaboration colored petri nets concept Web crowdsourcing |