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

Logical Foundations of Cyber-Physical Systems

Av André Platzer, Andre Platzer, André

Häftad, Engelska, 2019

839 kr

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

Automated Deduction – CADE 28

Av André Platzer, Geoff Sutcliffe, Andre Platzer, Geoff Platzer, André

Häftad, Engelska, 2021

589 kr

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

Formal Methods

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

Häftad, Engelska, 2024

699 kr

Skickas inom 10-15 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 119 kr

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

Correct System Design

Av Roland Meyer, André Platzer, Heike Wehrheim, Andre Platzer, Heike Platzer, André

Häftad, Engelska, 2015

689 kr

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

Logical Foundations of Cyber-Physical Systems

Av André Platzer, Andre Platzer, André

Inbunden, Engelska, 2018

839 kr

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

Logical Analysis of Hybrid Systems

Av André Platzer, Andre Platzer, Andr Platzer

Inbunden, Engelska, 2010

1 419 kr

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

Logical Analysis of Hybrid Systems

Av André Platzer, André

Häftad, Engelska, 2014

1 409 kr

Skickas inom 10-15 vardagar