Kordon, Fabrice books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Computer Science and General Issues)
Beyer, Dirk Huisman, Marieke Kordon, Fabrice Steffen, Bernhard
Springer /2019-04-04 Paperback / 285 Pages
isbn-10: 3030175014 / isbn-13: 9783030175016
Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers (Lecture Notes in ... (Lecture Notes in Computer Science, 10228)
Zhang, Lin Ren, Lei Kordon, Fabrice
Springer /2017-09-08 Paperback / 209 Pages
isbn-10: 3319619934 / isbn-13: 9783319619934
Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings (Theoretical Computer Science and General Issues)
Springer /2016-06-09 Paperback / 361 Pages
isbn-10: 3319390856 / isbn-13: 9783319390857
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, ... (Lecture Notes in Computer Science, 4498)
Abdennahder, Nabil Kordon, Fabrice
Springer /2007-06-15 Paperback / 261 Pages
isbn-10: 3540732292 / isbn-13: 9783540732297
Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Lecture Notes in Computer Science, 5570)
Kordon, Fabrice Kermarrec, Yvon
Springer /2009-05-25 Paperback / 297 Pages
isbn-10: 3642019234 / isbn-13: 9783642019234
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Kordon, Fabrice Hugues, Jérôme Canals, Agusti Dohet, Alain
Wiley-ISTE /2013-05-20 Hardcover / 320 Pages
isbn-10: 1848215002 / isbn-13: 9781848215009
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings (Lecture Notes in Computer Science) (Paperback) - Common
Volume editor Fabrice Kordon Volume editor Nabil Abdennahder
Springer-Verlag Berlin and Heidelberg GmbH & Co. K / Unknown Binding / 268 Pages
Reliable Software Technologies: Ada, Europe - 13th International Conference on Reliable Software Technologies, June 16-20, 2008, Venice, Italy - Proceedings (Lecture Notes in Computer Science) (Paperback) - Common
Volume editor Tullio Vardanega Volume editor Fabrice Kordon
Springer-Verlag Berlin and Heidelberg GmbH & Co. K / Paperback / 304 Pages
Transactions on Petri Nets and Other Models of Concurrency XVI
Koutny, Maciej Kordon, Fabrice Moldt, Daniel
Springer /2022-04-20 Paperback / 160 Pages
isbn-10: 3662653028 / isbn-13: 9783662653029
Transactions on Petri Nets and Other Models of Concurrency XV
Koutny, Maciej Kordon, Fabrice Pomello, Lucia
Springer /2021-02-25 Paperback / 208 Pages
isbn-10: 3662630788 / isbn-13: 9783662630785
