| 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. 120.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. 81.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. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.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. 69.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. 69.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. 89.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. 69.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. 69.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. 115.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. 69.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: Applications - 9th International Symposium on Leveraging Applications of Forma
(Buch) Sprache: English
Veröffentlichung: Oktober 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2
(Buch) Sprache: English
Veröffentlichung: Oktober 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Application
(Buch) Sprache: English
Veröffentlichung: Oktober 2020
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, C
(Buch) Sprache: English
Veröffentlichung: Oktober 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15,
(Buch) Sprache: English
Veröffentlichung: Oktober 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 188.00
bestellen |
 | Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of F
(Buch) Sprache: English
Veröffentlichung: August 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
Seite 1 von 2  |
Newsfeed | 
Facebook | 
Twitter
