Libri di Frank de Boer - BookPine

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

Frank de Boer

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

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

Nikolaj Bjørner

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Willem-Paul de Roever

The Rollator, My Best Friend?: Safe and Comfortable on the Road

The Rollator, My Best Friend?: Safe and Comfortable on the Road

Frank de Boer