Name: Formal Methods for Dynamical Systems
Brand: Marco Bernardo
SKU: ID12766928
Availability: InStock

Formal Methods for Dynamical Systems

49.22 EUR 10% Off 54.50 EUR

Ein praxisorientierter Leitfaden, der formale Methoden auf dynamische Systeme anwendet, von mathematischer Modellierung bis zur Verifikation in Regelungs- und Softwaresystemen, mit anschaulichen Beispielen.

Marke: Marco Bernardo

MPN: 49 black & white illustrations, biograph

ISBN: 9783642388736

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-10%

Gesponsert Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Galaxus.de

49.22 EUR 54.50 EUR

25-07-2026 21:09:00

Access to the deal

-10%

Gesponsert Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science)

Medimops DE

49.22 EUR 54.50 EUR

26-07-2026 11:54:37

Access to the deal

Gesponsert Formal Methods for Dynamical Systems

SpringerLink DE

54.50 EUR 54.50 EUR

26-07-2026 08:07:59

Access to the deal

Formal Methods for Dynamical Systems

Gesponsert Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Gesponsert Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science)

Gesponsert Formal Methods for Dynamical Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods for Dynamical Systems

Gesponsert Formal Methods for Dynamical Systems, Fachbücher von Erik de Vink, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Gesponsert Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science)

Gesponsert Formal Methods for Dynamical Systems

Ähnliche Produkte

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science (4486), Band 4486)

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, 3465, Band 3465)