|  |
| |
| Artikel-Nr.:
5667A-9783642400377 Herst.-Nr.:
9783642400377 EAN/GTIN:
9783642400377 |
| |
|
| | |
| Verification of Business Rules Programs Weitere Informationen: | | Author: | Bruno Berstel-Da Silva | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, AI; Artificial Intelligence; business rules management systems; correctness; database management systems; operational semantics; Program Semantics; software validation, AI, artificial intelligence, business rules, business rules management systems, correctness, database management systems, operational semantics, program verification, semantics, software validation |
| | |
| |