Cărți de Alessandro Fantechi

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Lecture Notes in Computer Science, nr. 11865

Editat de Maurice H. ter Beek et al.

14 sep 2019

Preț: 337^.01 lei 421^.26 lei

6-8 săpt.

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10598

Editat de Alessandro Fantechi et al.

20 oct 2017

Preț: 322^.28 lei 402^.84 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9274

Editat de Alessandro Fantechi et al.

19 aug 2015

Preț: 260^.93 lei 326^.15 lei

6-8 săpt.

-20%

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

IFIP Advances in Information and Communication Technology, nr. 10

Editat de Paolo Ciancarini et al.

28 feb 1999

Preț: 1250^.78 lei 1563^.47 lei

6-8 săpt.

-20%

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5596

Editat de Darren Cofer et al.

20 iul 2009

Preț: 321^.02 lei 401^.27 lei

6-8 săpt.

-20%