Fabrice Kordon | Booky.fi

Composition of Embedded Systems. Scientific and Industrial Issues - 13th Monterey Workshop 2006 Paris, France, October 16-18, 20

Kordon, Fabrice; Sokolsky, Oleg
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Reliable Software Technologies - Ada-Europe 2008 - 13th Ada-Europe International Conference on Reliable Software Technologies, V

Kordon, Fabrice; Vardanega, Tullio
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

51,10 €

Formal Methods for Embedded Distributed Systems - How to master the complexity

Kordon, Fabrice; Lemoine, Michel
Springer-Verlag New York Inc.
1991
Kovakantinen kirja

100,90 €

Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005.

Kordon, Fabrice; Sztipanovits, Janos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Reliable Software Technologies - Ada-Europe 2009 - 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Pro

Kordon, Fabrice; Kermarrec, Yvon
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,10 €

Formal Methods for Embedded Distributed Systems - How to master the complexity

Kordon, Fabrice; Lemoine, Michel
Springer-Verlag New York Inc.
2010
Pehmeäkantinen kirja

100,90 €

Embedded Systems - Analysis and Modeling with SysML, UML and AADL

Kordon, Fabrice; Hugues, Jérôme; Canals, Agusti; Dohet, Alain
ISTE Ltd and John Wiley & Sons Inc
2013
Kovakantinen kirja

155,70 €

Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June

Kordon, Fabrice; Moldt, Daniel
Springer
2016
Pehmeäkantinen kirja

51,10 €

Transactions on Petri Nets and Other Models of Concurrency XVIII

Kordon, Fabrice (ed.); Petrucci, Laure (ed.); Desel, Jörg (ed.); Kleijn, Jetty (ed.); Koutny, Maciej (ed.)
Springer
2026
Pehmeäkantinen kirja

76,00 €

Reliable Software Technologies - Ada-Europe 2007 - 12th Ada-Europe International Conference on Reliable Software Technologies, G

Abdennahder, Nabil; Kordon, Fabrice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,10 €

Models and Analysis for Distributed Systems

Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure
ISTE Ltd and John Wiley & Sons Inc
2011
Kovakantinen kirja

160,20 €

Distibuted Systems - Design and Algorithms

Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure
ISTE Ltd and John Wiley & Sons Inc
2011
Kovakantinen kirja

160,20 €

Challenges and Opportunity with Big Data - 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected P

Zhang, Lin; Ren, Lei; Kordon, Fabrice
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, P

Beyer, Dirk; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €

Transactions on Petri Nets and Other Models of Concurrency XV

Koutny, Maciej; Kordon, Fabrice; Pomello, Lucia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2021
Pehmeäkantinen kirja

51,10 €

Transactions on Petri Nets and Other Models of Concurrency XVI

Koutny, Maciej; Kordon, Fabrice; Moldt, Daniel
Springer
2022
Pehmeäkantinen kirja

91,00 €

TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions

Beyer, Dirk; Hartmanns, Arnd; Kordon, Fabrice
Springer
2024
Pehmeäkantinen kirja

56,10 €