TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition
Editat de Dirk Beyer et al.
21 sep 2024
Paperback
Preț: 327.62 lei 409.52 lei
3-5 săpt.
-20%
Cărți de Fabrice Kordon
Reliable Software Technologies - Ada-Europe 2009: 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Editat de Fabrice Kordon et al.
25 mai 2009
Paperback
Preț: 333.72 lei 417.15 lei
6-8 săpt.
-20%
Transactions on Petri Nets and Other Models of Concurrency XVI
Editat de Maciej Koutny et al.
20 apr 2022
Paperback
Preț: 581.76 lei 727.21 lei
6-8 săpt.
-20%
Transactions on Petri Nets and Other Models of Concurrency XV
Editat de Maciej Koutny et al.
25 feb 2021
Paperback
Preț: 328.09 lei 410.12 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Autor Bernhard Steffen et al.
7 oct 2020
Paperback
Preț: 265.50 lei 331.88 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
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 360.53 lei 450.66 lei
6-8 săpt.
-20%
Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers
Editat de Lin Zhang et al.
4 aug 2017
Paperback
Preț: 328.60 lei 410.75 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
Editat de Fabrice Kordon et al.
9 iun 2016
Paperback
Preț: 335.69 lei 419.61 lei
6-8 săpt.
-20%
Formal Methods for Embedded Distributed Systems: How to master the complexity
Editat de Fabrice Kordon et al.
15 sep 1991
Hardback
Preț: 651.57 lei 814.45 lei
6-8 săpt.
-20%
Reliable Software Technologies - Ada-Europe 2008: 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Editat de Fabrice Kordon et al.
3 iun 2008
Paperback
Preț: 333.72 lei 417.15 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
Editat de Fabrice Kordon et al.
11 ian 2008
Paperback
Preț: 330.42 lei 413.03 lei
6-8 săpt.
-20%
Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings
Editat de Nabil Abdennahder et al.
15 iun 2007
Paperback
Preț: 332.06 lei 415.08 lei
6-8 săpt.
-20%
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
Editat de Fabrice Kordon et al.
28 feb 2007
Paperback
Preț: 335.36 lei 419.20 lei
6-8 săpt.
-20%