| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, Septem
(Buch) Sprache: English
Veröffentlichung: August 2001
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
(Buch) Sprache: English
Veröffentlichung: November 2023
(Auf Bestellung)
Einband: Kartoniert | SFr. 90.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 96.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, Oc
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 90.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, I
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 109.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024,
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 91.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 96.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 20
(Buch) Sprache: English
Veröffentlichung: Oktober 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Cret
(Buch) Sprache: English
Veröffentlichung: Oktober 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 109.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Im
(Buch) Sprache: English
Veröffentlichung: Oktober 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Gre
(Buch) Sprache: English
Veröffentlichung: Oktober 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 116.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, Novem
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISo
(Buch) Sprache: English
Veröffentlichung: Oktober 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 96.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-
(Buch) Sprache: English
Veröffentlichung: September 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-
(Buch) Sprache: English
Veröffentlichung: September 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
Seite 1 von 3  |
Newsfeed | 
Facebook | 
Twitter
