André Platzer - Böcker

Visar alla böcker från författaren André Platzer.
8 produkter
André Platzer, Andre Platzer, André - Logical Foundations of Cyber-Physical Systems, Häftad

Häftad, Engelska, 2019

839 kr

Skickas inom 7-10 vardagar
André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André - Automated Deduction – CADE 28, Häftad

Häftad, Engelska, 2021

589 kr

Skickas inom 7-10 vardagar
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi, Andre Platzer, Kristin Yvonne Platzer, André - Formal Methods, Häftad

Häftad, Engelska, 2024

699 kr

Skickas inom 7-10 vardagar
Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi - Formal Methods, Häftad
Del 14934 - Lecture Notes in Computer Science

Formal Methods

Av Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Häftad, Engelska, 2024

2 209 kr

Skickas inom 7-10 vardagar
Roland Meyer, André Platzer, Heike Wehrheim, Andre Platzer, Heike Platzer, André - Correct System Design, Häftad

Häftad, Engelska, 2015

689 kr

Skickas inom 7-10 vardagar
André Platzer, Andre Platzer, André - Logical Foundations of Cyber-Physical Systems, Inbunden

Inbunden, Engelska, 2018

839 kr

Skickas inom 7-10 vardagar
André Platzer, Andre Platzer, Andr Platzer - Logical Analysis of Hybrid Systems, Inbunden

Inbunden, Engelska, 2010

1 409 kr

Skickas inom 7-10 vardagar
André Platzer, André - Logical Analysis of Hybrid Systems, Häftad

Häftad, Engelska, 2014

1 409 kr

Skickas inom 7-10 vardagar