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. Practice

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

Ø 0.0

0 Bewertungen

69,54 €

Titel: Leveraging Applications of Formal Methods, Verification and Validation. Practice, Untertitel: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part IV, Einband: Taschenbuch, Autor: Bernhard Steffen, Verlag: Springer Nature Switzerland, Springer International Publishing, Sprache: Englisch, Seiten: 440, Maße: 235x155x24 mm, Gewicht: 663 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Hardware computer programming digital signal processing Embedded Systems Engineering Object-oriented programming Real Time Systems Robotics Signal Processing software architecture Software Design Software Engineering theoretical computer science mobile robots Field Programmable Gate Array (FPGA) Fuzzy Sets graph theory knowledge-based system.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Nature Switzerland, Springer International Publishing
Autor:

Bernhard Steffen
Seiten:

440
Gewicht:

663
Einband:

Taschenbuch
Format:

235x155x24 mm
Sprache:

Englisch
Marke:

Springer Nature Switzerland, Springer International Publishing
Reihe:

13704
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:

Artificial Intelligence Computer Hardware computer programmi...
ISBN:

9783031197611

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. Practice

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 Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Leveraging Applications of Formal Methods, Verification and Validation: Engineer

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 Reiner H

Leveraging Applications of Formal Methods, Verification and Validation. Industri

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. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

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. Speciali

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Ähnliche Artikel

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 Bernhard

Leveraging Applications of Formal Methods, Verification and Validation: Applicat

Leveraging Applications of Formal Methods, Verification and Validation: Engineer

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 Reiner H

Leveraging Applications of Formal Methods, Verification and Validation. Industri

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. Rigorous

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging Applications of Formal Methods, Verification and Validation. Adaptati

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. Speciali

Cookie Hinweis