| 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: 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. 64.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. 120.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. 69.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. 69.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. 69.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. 97.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
