Filtre: Paperback

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ț: 491^.26 lei 614^.09 lei

43-57 zile

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

43-57 zile

-20%

FM 2015: Formal Methods

Lecture Notes in Computer Science, nr. 9109

Editat de Nikolaj Bjørner et al.

2 iun 2015

Preț: 338^.95 lei 423^.69 lei

43-57 zile

-20%

Software Engineering and Formal Methods

Editat de Frank de Boer et al.

12 sep 2020

Preț: 348^.60 lei 435^.74 lei

43-57 zile

-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

43-57 zile

-20%