Verification of Sequential and Concurrent Programs
| Autor: | Apt, Krzysztof R. De Boer, Frank S. Olderog, Ernst-Rüdiger |
|---|---|
| EAN: | 9781848827448 |
| Auflage: | 003 |
| Sachgruppe: | Informatik, EDV |
| Sprache: | Englisch |
| Seitenzahl: | 528 |
| Produktart: | Gebunden |
| Veröffentlichungsdatum: | 05.10.2009 |
| Schlagworte: | EDV / Theorie / Informatik / Mathematik |
106,99 €*
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 creationIncludes four new chapters on increasingly important aspects of programmingContains 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