| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Januar 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
(Buch) Sprache: English
Veröffentlichung: Oktober 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: November 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Februar 2016
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Februar 2017
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Pape
(Buch) Sprache: English
Veröffentlichung: Februar 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selec
(Buch) Sprache: English
Veröffentlichung: April 2014
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: April 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
(Buch) Sprache: English
Veröffentlichung: August 2015
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 201
(Buch) Sprache: English
Veröffentlichung: Oktober 2010
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
(Buch) Sprache: English
Veröffentlichung: September 2019
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2021
(Auf Bestellung)
Einband: Kartoniert | SFr. 103.00
bestellen |
| Autor von: |
 | Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
(Buch) Sprache: English
Veröffentlichung: Februar 2018
(Auf Bestellung)
Einband: Kartoniert | SFr. 97.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
