Verification of Sequential and Concurrent Programs
| Autor: | Apt, Krzysztof R. De Boer, Frank S. Olderog, Ernst-Rüdiger |
|---|---|
| EAN: | 9781447125136 |
| Auflage: | 003 |
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 528 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 14.03.2012 |
85,59 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Deals with the verification of programs allowing dynamic process creation Includes four new chapters on increasingly important aspects of programming Contains many learning tools to aid the reader such as case studies, exercises, comprehensive references/further reading and helpful appendices
Verwandte Artikel
Weitere Produkte vom selben Autor