Cărți de Fabrice Kordon

Models and Analysis for Distributed Systems

Editat de Serge Haddad et al.

12 iul 2011

Preț: 747^.01 lei 1341^.83 lei

Indisponibil temporar

-44%

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

Editat de Fabrice Kordon et al.

15 sep 1991

Preț: 626^.38 lei 782^.98 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency

Editat de Maciej Koutny et al.

20 apr 2022

Preț: 560^.13 lei 700^.17 lei

6-8 săpt.

-20%

Reliable Systems on Unreliable Networked Platforms

Editat de Fabrice Kordon et al.

28 feb 2007

Preț: 323^.02 lei 403^.77 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 9698

Editat de Fabrice Kordon et al.

9 iun 2016

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Reliable Software Technologies - Ada-Europe 2008

Editat de Fabrice Kordon et al.

3 iun 2008

Preț: 321^.39 lei 401^.73 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 5570

Editat de Fabrice Kordon et al.

25 mai 2009

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 11429

Editat de Dirk Beyer et al.

4 apr 2019

Preț: 320^.92 lei 401^.15 lei

3-5 săpt. | 4-10 zile

-20%

Reliable Software Technologies - Ada-Europe 2007

Editat de Nabil Abdennahder et al.

15 iun 2007

Preț: 319^.52 lei 399^.41 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 4888

Editat de Fabrice Kordon et al.

11 ian 2008

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Challenges and Opportunity with Big Data

Programming and Software Engineering

Editat de Lin Zhang et al.

4 aug 2017

Preț: 317^.08 lei 396^.35 lei

6-8 săpt.

-20%

Transactions on Petri Nets and Other Models of Concurrency

Editat de Maciej Koutny et al.

25 feb 2021

Preț: 316^.49 lei 395^.62 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Dirk Beyer et al.

noi 2024

Preț: 315^.26 lei 394^.08 lei

3-5 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Autor Bernhard Steffen et al.

7 oct 2020

Preț: 255^.49 lei 319^.36 lei

6-8 săpt.

-20%

Cărți de Fabrice Kordon

Models and Analysis for Distributed Systems

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

Transactions on Petri Nets and Other Models of Concurrency XVI

Reliable Systems on Unreliable Networked Platforms

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

Reliable Software Technologies - Ada-Europe 2008

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

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

Reliable Software Technologies - Ada-Europe 2007

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

Challenges and Opportunity with Big Data

Transactions on Petri Nets and Other Models of Concurrency XV

TOOLympics Challenge 2023

Tools and Algorithms for the Construction and Analysis of Systems

Papetărie, jocuri, reviste

Cărți de Fabrice Kordon