| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
(Buch) Sprache: English
Veröffentlichung: Januar 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 69.00
bestellen |
 | Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
(Buch) Sprache: English
Veröffentlichung: August 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 66.00
bestellen |
 | Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
(Buch) Sprache: English
Veröffentlichung: August 2006
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
(Buch) Sprache: English
Veröffentlichung: Dezember 2007
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
(Buch) Sprache: English
Veröffentlichung: Dezember 2011
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
(Buch) Sprache: English
Veröffentlichung: Oktober 2004
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
(Buch) Sprache: English
Veröffentlichung: September 2005
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
(Buch) Sprache: English
Veröffentlichung: August 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
| Autor von: |
 | Verification of Sequential and Concurrent Programs
(Buch) Sprache: English
Veröffentlichung: Oktober 2009
(Auf Bestellung)
Einband: Gebunden | SFr. 135.00
bestellen |
 | Verification of Sequential and Concurrent Programs
(Buch) Sprache: English
Veröffentlichung: März 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 110.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
