Majumdar rupak editor

Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, USA, August 10-12, 2008 Proceedings

Havelund, Klaus (Editor)/ Majumdar, Rupak (Editor)/ Palsberg, Jens (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2008

3540851135 / 9783540851134

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 81,32

EUR 14,71 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 2008 edition. 342 pages. 9.50x6.25x0.50 inches. In Stock.

Networked Systems: 8th International Conference, Netys 2020, Marrakech, Morocco, June 35, 2020, Proceedings

Georgiou, Chryssis (Editor)/ Majumdar, Rupak (Editor)

Lingua: Inglese

Editore: Springer-Nature New York Inc, 2021

3030670864 / 9783030670863

Serie: Lecture Notes in Computer Science, Libro 259 di 300. Libro 259 di 300 - Lecture Notes in Computer Science

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 81,43

EUR 14,71 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 400 pages. 9.25x6.10x0.83 inches. In Stock.

Runtime Verification: 6th International Conference, Rv 2015

Bartocci, Ezio (Editor)/ Majumdar, Rupak (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2015

3319238191 / 9783319238197

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 82,35

EUR 14,71 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 451 pages. 9.30x6.20x1.02 inches. In Stock.

Tools and Algorithms for the Construction and Analysis of Systems: 16th Internationa Conference, Tacas 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus

Esparza, Javier (Editor)/ Majumdar, Rupak (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2010

3642120016 / 9783642120015

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,45

EUR 14,71 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 468 pages. 9.00x6.00x1.00 inches. In Stock.

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture Notes . Computer Science and General Issues)

Majumdar, Rupak (Editor)/ Tabuada, Paulo (Editor)

Lingua: Inglese

Editore: Springer, 2009

3642006019 / 9783642006012

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 83,84

EUR 14,71 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 1st edition. 492 pages. 9.29x6.06x1.10 inches. In Stock.

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Majumdar, Rupak (Editor)/ Kuncak, Viktor (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2017

3319633864 / 9783319633862

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 85,04

EUR 41,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 624 pages. 9.25x6.10x1.41 inches. In Stock.

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Majumdar, Rupak (Editor)/ Kuncak, Viktor (Editor)

Lingua: Inglese

Editore: Springer-Verlag New York Inc, 2017

3319633899 / 9783319633893

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 85,36

EUR 41,18 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 644 pages. 9.25x6.10x1.46 inches. In Stock.

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday: 13660 (Lecture Notes in Computer Science, 13660)

Raskin, Jean-François (Editor) / Chatterjee, Krishnendu (Editor) / Doyen, Laurent (Editor) / Majumdar, Rupak (Editor)

Lingua: Inglese

Editore: Springer, 2022

3031223365 / 9783031223365

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Contatta il venditore

Condizione: Nuovo

EUR 147,34

EUR 17,65 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 681 pages. 9.25x6.10x1.61 inches. In Stock.

Majumdar rupak editor (8 risultati)

Perfeziona la tua ricerca

Model Checking Software: 15th International Spin Workshop, Los Angeles, Ca, USA, August 10-12, 2008 Proceedings

Networked Systems: 8th International Conference, Netys 2020, Marrakech, Morocco, June 35, 2020, Proceedings

Runtime Verification: 6th International Conference, Rv 2015

Tools and Algorithms for the Construction and Analysis of Systems: 16th Internationa Conference, Tacas 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, Etaps 2010, Paphos, Cyprus

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture Notes . Computer Science and General Issues)

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Computer Aided Verification: 29th International Conference, Cav 2017, Heidelberg, Germany, July 24-28, 2017. Proceedings

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday: 13660 (Lecture Notes in Computer Science, 13660)