Maurice H. ter Beek - Böcker
Visar alla böcker från författaren Maurice H. ter Beek.
8 produkter
8 produkter
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 7-10 vardagar
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 7-10 vardagar
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 7-10 vardagar
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 109 kr
Skickas inom 7-10 vardagar
Del 13271 - Lecture Notes in Computer Science
Coordination Models and Languages
Häftad, Engelska, 2022
1 749 kr
Skickas inom 7-10 vardagar
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 7-10 vardagar
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 7-10 vardagar
Häftad, Engelska, 2013
679 kr
Skickas inom 7-10 vardagar