Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Notes in Computer Science, Band 11247)

Dieses Buch untersucht die praktische Umsetzung formaler Techniken zur Verifikation und Validierung, indem es Fallstudien aus der Industrie präsentie ...
Of Formal Methods
Wo zu kaufen Eigenschaften
Dieses Produkt wurde kürzlich in keinem gesponserten Geschäft gefunden, bitte prüfen Sie ähnliche Produkte unserer Sponsoren oder sehen Sie sich andere von uns angebotene Geschäfte an, in denen Sie das Produkt finden können.
Gesponsert
PRODUKTE/PREISE IM WEB PRÜFEN
eBay
Angebote ansehen
Andre ikke-sponsorerede muligheder:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
pressbooks.ch
6.90 CHF
Preis aktualisiert am: 03-07-2025 14:56:29
Siehe Produktangebot

Allgemein

Marke
Tiziana Margaria
ISBN
Tiziana Margaria 3030034267

Eigenschaften

Ähnliche Produkte

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ... Notes in Computer Science, Band 15219)
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ... Notes in Computer Science, Band 15219)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International ... Notes in Computer Science, Band 15220)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, ... Notes in Computer Science, 15222, Band 15222)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... Notes in Computer Science, Band 15223)
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, ... Notes in Computer Science, Band 15223)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)
Produkt anzeigen
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... Notes in Computer Science, Band 13036)
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ... Notes in Computer Science, Band 13036)
Produkt anzeigen
Menü