Rupak Majumdar - Böcker

Visar alla böcker från författaren Rupak Majumdar.
8 produkter
Chryssis Georgiou, Rupak Majumdar - Networked Systems, Häftad

Networked Systems

Av Chryssis Georgiou, Rupak Majumdar

Häftad, Engelska, 2021

729 kr

Skickas inom 7-10 vardagar
Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar, Jean-Francois Raskin - Principles of Systems Design, Häftad
Del 13660 - Lecture Notes in Computer Science

Principles of Systems Design

Av Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar, Jean-Francois Raskin

Häftad, Engelska, 2022

1 309 kr

Skickas inom 7-10 vardagar
Ezio Bartocci, Rupak Majumdar - Runtime Verification, Häftad

Runtime Verification

Av Ezio Bartocci, Rupak Majumdar

Häftad, Engelska, 2015

729 kr

Skickas inom 7-10 vardagar
Rupak Majumdar, Viktor Kuncak, Viktor Kunčak - Computer Aided Verification, Häftad

Computer Aided Verification

Av Rupak Majumdar, Viktor Kuncak, Viktor Kunčak

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar
Rupak Majumdar, Viktor Kuncak, Viktor Kunčak - Computer Aided Verification, Häftad

Computer Aided Verification

Av Rupak Majumdar, Viktor Kuncak, Viktor Kunčak

Häftad, Engelska, 2017

729 kr

Skickas inom 7-10 vardagar
Klaus Havelund, Rupak Majumdar, Jens Palsberg - Model Checking Software, Häftad

Model Checking Software

Av Klaus Havelund, Rupak Majumdar, Jens Palsberg

Häftad, Engelska, 2008

729 kr

Skickas inom 7-10 vardagar
Rupak Majumdar, Paulo Tabuada - Hybrid Systems: Computation and Control, Häftad

Hybrid Systems: Computation and Control

Av Rupak Majumdar, Paulo Tabuada

Häftad, Engelska, 2009

729 kr

Skickas inom 7-10 vardagar
Javier Esparza, Rupak Majumdar - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Javier Esparza, Rupak Majumdar

Häftad, Engelska, 2010

729 kr

Skickas inom 7-10 vardagar