Formal Methods and Hybrid Real-Time Systems | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Methods and Hybrid Real-Time Systems
  • #
  • #

Formal Methods and Hybrid Real-Time Systems

54.99 EUR 53.49 EUR 3% Off

Ein Fachband, der die Verbindung von formaler Methodik mit hybriden Echtzeitsystemen beleuchtet; erörtert neue Theorien, praxisnahe Fallstudien und innovative Ansätze zur sicheren Softwareentwicklung.

Teilen:

Ähnliche Produkte

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

68.35 EUR
Integrated Formal Methods

Integrated Formal Methods

53.49 EUR
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

85.24 EUR
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

67.13 EUR
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

59.00 EUR
Formal Methods and Software Engineering

Formal Methods and Software Engineering

96.49 EUR