Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Verification of Business Rules Programs

Verification of Business Rules Programs

von Bruno Berstel-Da Silva
Verification of Business Rules Programs von Bruno Berstel-Da Silva
Über Verification of Business Rules Programs

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783662514078
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 236
  • Veröffentlicht:
  • 17. August 2016
  • Ausgabe:
  • 12014
  • Abmessungen:
  • 235x155x14 mm.
  • Gewicht:
  • 3927 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Bruno Berstel-Da Silva

Alle Bücher von Bruno Berstel-Da Silva anzeigen

Beschreibung von Verification of Business Rules Programs

This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. It includes a compositional verification method for proving correctness properties.

Kund*innenbewertungen von Verification of Business Rules Programs



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Verification of Business Rules Programs ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.