Jean-Louis (Consultant) Boulanger ![]() |
| 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 Applied to Complex Systems: Implementation of the B Method (Buch) Sprache: English Veröffentlichung: Juli 2014 (Auf Bestellung) Einband: Gebunden | SFr. 275.00 bestellen |
![]() | Formal Methods Applied to Industrial Complex Systems (Buch) Sprache: English Veröffentlichung: Juli 2014 (Auf Bestellung) Einband: Gebunden | SFr. 265.00 bestellen |
![]() | Formal Methods: Industrial Use from Model to the Code (Buch) Sprache: English Veröffentlichung: Mai 2012 (Auf Bestellung) Einband: Gebunden | SFr. 225.00 bestellen |
![]() | Industrial Use of Formal Methods: Formal Verification (Buch) Sprache: English Veröffentlichung: Juni 2012 (Auf Bestellung) Einband: Gebunden | SFr. 225.00 bestellen |
![]() | Safety of Computer Architectures (Buch) Sprache: English Veröffentlichung: Juli 2010 (Auf Bestellung) Einband: Gebunden | SFr. 225.00 bestellen |
![]() | Static Analysis of Software: The Abstract Interpretation (Buch) Sprache: English Veröffentlichung: November 2011 (Auf Bestellung) Einband: Gebunden | SFr. 249.00 bestellen |
| Autor von: | ||
![]() | Safety Management for Software-based Equipment (Buch) Sprache: English Veröffentlichung: April 2013 (Auf Bestellung) Einband: Gebunden | SFr. 225.00 bestellen |
| Seite 1 von 1 | ||
Newsfeed |