Cărți de Frank de Boer

Active Object Languages: Current Research Trends

Lecture Notes in Computer Science, nr. 14360

Editat de Frank de Boer et al.

29 ian 2024

Preț: 437^.83 lei 547^.29 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12310

Editat de Frank de Boer et al.

12 sep 2020

Preț: 352^.63 lei 440^.79 lei

6-8 săpt.

-20%

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Lecture Notes in Computer Science, nr. 10865

Editat de Frank de Boer et al.

7 apr 2018

Preț: 321^.15 lei 401^.45 lei

6-8 săpt.

-20%

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9109

Editat de Nikolaj Bjørner et al.

2 iun 2015

Preț: 338^.77 lei 423^.47 lei

6-8 săpt.

-20%

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge Tracts in Theoretical Computer Science, nr. 54

Autor Willem-Paul de Roever et al.

25 ian 2012

Preț: 526^.72 lei 658^.40 lei

6-8 săpt.

-20%