Cărți de Frank de Boer

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ț: 552^.39 lei 690^.49 lei

6-8 săpt.

-20%

FM 2015: Formal Methods

Lecture Notes in Computer Science

Editat de Nikolaj Bjørner et al.

2 iun 2015

Preț: 337^.91 lei 422^.39 lei

6-8 săpt.

-20%

Active Object Languages: Current Research Trends

Lecture Notes in Computer Science, nr. 14360

Editat de Frank de Boer et al.

29 ian 2024

Preț: 488^.09 lei 610^.11 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ț: 318^.00 lei 397^.50 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ț: 349^.15 lei 436^.44 lei

6-8 săpt.

-20%