Maurice H. ter Beek - Böcker

Visar alla böcker från författaren Maurice H. ter Beek.
11 produkter
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek - Formal Methods – The Next 30 Years, Häftad

Formal Methods – The Next 30 Years

Av Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, Maurice H. Ter Beek - From Software Engineering to Formal Methods and Tools, and Back, Häftad

From Software Engineering to Formal Methods and Tools, and Back

Av Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, Maurice H. Ter Beek

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Maurice H. ter Beek, Dejan Ničković, Dejan Nickovic, Maurice H. Ter Beek, Dejan Ničkovic - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

Av Maurice H. ter Beek, Dejan Ničković, Dejan Nickovic, Maurice H. Ter Beek, Dejan Ničkovic

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar
Maurice H. ter Beek, Rosemary Monahan, Maurice H. Ter Beek - Integrated Formal Methods, Häftad
Del 13274 - Lecture Notes in Computer Science

Integrated Formal Methods

Av Maurice H. ter Beek, Rosemary Monahan, Maurice H. Ter Beek

Häftad, Engelska, 2022

1 089 kr

Skickas måndag 24/11
Maurice H. ter Beek, Marjan Sirjani, Maurice H. Ter Beek - Coordination Models and Languages, Häftad

Coordination Models and Languages

Av Maurice H. ter Beek, Marjan Sirjani, Maurice H. Ter Beek

Häftad, Engelska, 2022

1 739 kr

Skickas inom 10-15 vardagar
  • Nyhet
Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte, Maurice H. Ter Beek - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Av Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte, Maurice H. Ter Beek

Häftad, Engelska, 2025

1 209 kr

Kommande
  • Nyhet
Maurice H. ter Beek, Leopoldo Teixeira, Maurice H. Ter Beek - Formal Methods: Foundations and Applications, Häftad
Del 16363 - Lecture Notes in Computer Science

Formal Methods: Foundations and Applications

Av Maurice H. ter Beek, Leopoldo Teixeira, Maurice H. Ter Beek

Häftad, Engelska, 2026

1 249 kr

Kommande
  • Nyhet
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice Ter Beek - Journeys Between Formal Methods and the Railway Industry, Häftad

Journeys Between Formal Methods and the Railway Industry

Av Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice Ter Beek

Häftad, Engelska, 2026

2 029 kr

Kommande
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, Maurice H. Ter Beek - Critical Systems: Formal Methods and Automated Verification, Häftad

Critical Systems: Formal Methods and Automated Verification

Av Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, Maurice H. Ter Beek

Häftad, Engelska, 2016

739 kr

Skickas inom 10-15 vardagar
Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek, Maurice H. Ter Beek - Architecting Dependable Systems VI, Häftad

Architecting Dependable Systems VI

Av Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek, Maurice H. Ter Beek

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar
Maurice H. ter Beek, Niels Lohmann, Maurice H. Ter Beek - Web Services and Formal Methods, Häftad

Web Services and Formal Methods

Av Maurice H. ter Beek, Niels Lohmann, Maurice H. Ter Beek

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar