Here, what we could find on your book search:

Mohamed Faouzi Atig

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina

Check Price (10 deals)
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

Alexander Nadel and Kristin Yvonne Rozier

Check Price (4 deals)
String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf and Abdulbaki Aydin

Check Price (5 deals)
Networked Systems

Networked Systems

Ahmed Bouajjani and Hugues Fauconnier

Check Price (1 deals)
Reachability Problems

Reachability Problems

Igor Potapov

Check Price (3 deals)
CONCUR 2008 - Concurrency Theory

CONCUR 2008 - Concurrency Theory

Franck van Breugel and Marsha Chechik

Check Price (2 deals)
Reachability Problems

Reachability Problems

Olivier Bournez and Igor Potapov

Check Price (8 deals)
FM 2016: Formal Methods

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou

Check Price (6 deals)
Networked Systems

Networked Systems

Mohamed Faouzi Atig and Alexander A. Schwarzmann

Check Price (7 deals)
Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze and Bruno Monsuez

Check Price (3 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free