| Sortierung: Titel - Veröffentlichung |
| Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch |
| Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) |
| Herausgeber von: |
 | Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
(Buch) Sprache: English
Veröffentlichung: Dezember 1998
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Current Trends in Concurrency: Overviews and Tutorials
(Buch) Sprache: English
Veröffentlichung: Juni 1986
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.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: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
(Buch) Sprache: English
Veröffentlichung: Dezember 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 70.00
bestellen |
 | Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
(Buch) Sprache: English
Veröffentlichung: Oktober 2003
(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 |
 | Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys
(Buch) Sprache: English
Veröffentlichung: September 1994
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3
(Buch) Sprache: English
Veröffentlichung: März 1989
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
 | Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12
(Buch) Sprache: English
Veröffentlichung: Mai 1998
(Auf Bestellung)
Einband: Gebunden | SFr. 238.00
bestellen |
 | Programming Concepts and Methods PROCOMET '98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12
(Buch) Sprache: English
Veröffentlichung: Januar 2013
(Auf Bestellung)
Einband: Kartoniert | SFr. 238.00
bestellen |
 | Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
(Buch) Sprache: English
Veröffentlichung: April 1990
(Auf Bestellung)
Einband: Kartoniert | SFr. 134.00
bestellen |
| Autor von: |
 | Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
(Buch) Sprache: English
Veröffentlichung: August 2011
(Auf Bestellung)
Einband: Gebunden | SFr. 304.00
bestellen |
 | Concurrency Verification: Introduction to Compositional and Non-compositional Methods
(Buch) Sprache: English
Veröffentlichung: Januar 2012
(Auf Bestellung)
Einband: Kartoniert | SFr. 125.00
bestellen |
 | Data Refinement: Model-Oriented Proof Methods and their Comparison
(Buch) Sprache: English
Veröffentlichung: Dezember 2008
(Auf Bestellung)
Einband: Kartoniert | SFr. 90.00
bestellen |
 | Data Refinement: Model-Oriented Proof Methods and their Comparison
(Buch) Sprache: English
Veröffentlichung: Dezember 1998
(Auf Bestellung)
Einband: Gebunden | SFr. 206.00
bestellen |
| Seite 1 von 1 |
Newsfeed | 
Facebook | 
Twitter
