Kategorien

Zu "Formal Methods" wurden 4 Produkte gefunden

Filter
–
Download
PDF
Formal Methods for Discrete-Time Dynamical Systems
Formal Methods for Discrete-Time Dynamical Systems Calin Belta, Boyan Yordanov, Ebru Aydin Gol

171,19 €*
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
Refinement in Z and Object-Z
Refinement in Z and Object-Z John Derrick, Eerke A. Boiten

96,29 €*
Download
PDF
Quality-Driven SystemC Design
Quality-Driven SystemC Design Daniel Große, Rolf Drechsler

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