Fabrice Kordon – författare
Visar alla böcker från författaren Fabrice Kordon.
19 produkter
Tools and Algorithms for the Construction and Analysis of Systems
Av Bernhard Steffen, Fabrice Kordon m. fl.
Häftad, 2020
859 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
Av Bernhard Steffen, Fabrice Kordon m. fl.
Inbunden, 2020
959 kr
Lägg i varukorg
Formal Methods for Embedded Distributed Systems
How to master the complexity
Av Fabrice Kordon, Michel Lemoine
Inbunden, 1991
1469 kr
Lägg i varukorg
Formal Methods for Embedded Distributed Systems
How to master the complexity
Av Fabrice Kordon, Michel Lemoine
Häftad, 2010
1469 kr
Lägg i varukorg
Distibuted Systems
Design and Algorithms
Av Serge Haddad, Fabrice Kordon m. fl.
Inbunden, 2011
2739 kr
Lägg i varukorg
Models and Analysis for Distributed Systems
Av Serge Haddad, Fabrice Kordon m. fl.
Inbunden, 2011
2639 kr
Lägg i varukorg
Embedded Systems
Analysis and Modeling with SysML, UML and AADL
Av Fabrice Kordon, Jérôme Hugues m. fl.
Inbunden, 2013
2589 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Av Dirk Beyer, Marieke Huisman m. fl.
Häftad, 2019
739 kr
Lägg i varukorg
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Dirk Beyer, Arnd Hartmanns m. fl.
Häftad, 2024
809 kr
Lägg i varukorg
Application and Theory of Petri Nets and Concurrency
37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Av Fabrice Kordon, Daniel Moldt
Häftad, 2016
739 kr
Lägg i varukorg
Challenges and Opportunity with Big Data
19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
Häftad, 2017
739 kr
Lägg i varukorg
Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Av Fabrice Kordon, Tullio Vardanega
Häftad, 2008
739 kr
Lägg i varukorg
Reliable Systems on Unreliable Networked Platforms
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Av Fabrice Kordon, Janos Sztipanovits
Häftad, 2007
739 kr
Lägg i varukorg
Reliable Software Technologies - Ada-Europe 2007
12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Av Nabil Abdennahder, Fabrice Kordon
Häftad, 2007
739 kr
Lägg i varukorg
Composition of Embedded Systems. Scientific and Industrial Issues
13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Av Fabrice Kordon, Oleg Sokolsky
Häftad, 2008
739 kr
Lägg i varukorg
Reliable Software Technologies - Ada-Europe 2009
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Av Fabrice Kordon, Yvon Kermarrec
Häftad, 2009
739 kr
Lägg i varukorg
Transactions on Petri Nets and Other Models of Concurrency XV
Av Maciej Koutny, Fabrice Kordon m. fl.
Häftad, 2021
739 kr
Lägg i varukorg
Transactions on Petri Nets and Other Models of Concurrency XVI
Av Maciej Koutny, Fabrice Kordon m. fl.
Häftad, 2022
1319 kr
Lägg i varukorg
Transactions on Petri Nets and Other Models of Concurrency XVIII
Av Fabrice Kordon, Laure Petrucci m. fl.
Häftad, 2026
1109 kr
Lägg i varukorg