Kategorien

Zu "Formal Specification" wurden 3 Produkte gefunden

Filter
–
Download
PDF
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

117,69 €*
Download
PDF
Formal Methods: State of the Art and New Directions
Formal Methods: State of the Art and New Directions Paul P. Boca, Jonathan P. Bowen, Jawed I. Siddiqi

96,29 €*
Download
PDF
Automatic Methods for the Refinement of System Models
Automatic Methods for the Refinement of System Models Julia Seiter, Robert Wille, Rolf Drechsler

58,84 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...