Ahmed Bouajjani - Böcker

Visar alla böcker från författaren Ahmed Bouajjani.
6 produkter
Ahmed Bouajjani, Lukáš Holík, Zhilin Wu, Lukas Holik, Lukás Holík, Zhilin Holík, Lukáš, Wu - Automated Technology for Verification and Analysis, Häftad
Del 13505 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

Av Ahmed Bouajjani, Lukáš Holík, Zhilin Wu, Lukas Holik, Lukás Holík, Zhilin Holík, Lukáš, Wu

Häftad, Engelska, 2022

1 099 kr

Skickas inom 7-10 vardagar
Ahmed Bouajjani, Hugues Fauconnier - Networked Systems, Häftad

Networked Systems

Av Ahmed Bouajjani, Hugues Fauconnier

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Ahmed Bouajjani, David Monniaux - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Ahmed Bouajjani, David Monniaux

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Ahmed Bouajjani, Alexandra Silva - Formal Techniques for Distributed Objects, Components, and Systems, Häftad

Formal Techniques for Distributed Objects, Components, and Systems

Av Ahmed Bouajjani, Alexandra Silva

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Ahmed Bouajjani, Oded Maler - Computer Aided Verification, Häftad

Computer Aided Verification

Av Ahmed Bouajjani, Oded Maler

Häftad, Engelska, 2009

1 459 kr

Skickas inom 7-10 vardagar
Ahmed Bouajjani, Wei-Ngan Chin - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Ahmed Bouajjani, Wei-Ngan Chin

Häftad, Engelska, 2010

739 kr

Skickas inom 7-10 vardagar