| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Active Object Languages: Current Research Trends
(Buch) Sprache: English
Veröffentlichung: Januar 2024
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
 | Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys
(Buch) Sprache: English
Veröffentlichung: Mai 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
(Buch) Sprache: English
Veröffentlichung: Mai 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 68.00
bestellen |
 | Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proce
(Buch) Sprache: English
Veröffentlichung: Mai 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and
(Buch) Sprache: English
Veröffentlichung: März 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 55.90
bestellen |
 | Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
(Buch) Sprache: English
Veröffentlichung: Mai 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proc
(Buch) Sprache: English
Veröffentlichung: Mai 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
(Buch) Sprache: English
Veröffentlichung: Juni 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
(Buch) Sprache: English
Veröffentlichung: Juni 2022
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
(Buch) Sprache: English
Veröffentlichung: März 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
