Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

Name: Leveraging Applications of Formal Methods, Verification and Validation. Adaptati
Brand: Springer Nature Switzerland, Springer International Publishing
SKU: 177080062038
Price: 74.89 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

74,89 €

Titel: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, Untertitel: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part III, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 488, Maße: 235x155x27 mm, Gewicht: 733 g, Verkäufer: buch-mimpf, Schlagworte: Adaptive systems architecture types architecture verification and validation Correlation Analysis Artificial Intelligence Computer Hardware computer programming Embedded Systems formal languages formal logic knowledge-based system model checking Object-oriented programming Signal Processing software architecture Software Engineering.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Nature Switzerland, Springer International Publishing
Autor:

Bernhard Steffen
Seiten:

488
Gewicht:

733
Einband:

Taschenbuch
Format:

235x155x27 mm
Sprache:

Englisch
Marke:

Springer Nature Switzerland, Springer International Publishing
Reihe:

13703
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Leveraging Applications of Formal Methods, Verification and Va...
Erscheinungsjahr:

20221020
Produktart:

Bücher
Buchtitel:

Leveraging Applications of Formal Methods, Verification and Va...
Untertitel:

11th International Symposium, ISoLA 2022, Rhodes, Greece, Octo...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Leveraging Applications of Formal Methods, Verification and Va...
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Adaptive systems architecture types architecture verificatio...
ISBN:

9783031197581

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 14. May 2025 und 16. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification, and Validation Reiner H

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Engineer

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Distribu

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation: Discussi

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Tools an

Leveraging Applications of Formal Methods, Verification, and Validation Anna-Len

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification, and Validation Reiner H

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Engineer

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Leveraging Applications of Formal Methods, Verification and Validation. Distribu

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Leveraging Applications of Formal Methods, Verification and Validation: Discussi

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Leveraging Applications of Formal Methods, Verification and Validation Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Tools an

Leveraging Applications of Formal Methods, Verification, and Validation Anna-Len

Leveraging Applications of Formal Methods, Verification and Validation. Industri

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C

Cookie Hinweis